diff options
| author | jcid <devnull@localhost> | 2008-10-03 17:12:41 +0200 |
|---|---|---|
| committer | jcid <devnull@localhost> | 2008-10-03 17:12:41 +0200 |
| commit | 5a67c8be446fd68f5aeb34a1a132b8d8a6771499 (patch) | |
| tree | c178b98905c3b8691ab4a1765ca2adb036d2ee09 /src/ui.cc | |
| parent | 6f47577c7012d6ef9a7c958a162ba516cde653a2 (diff) | |
- Switched to TabGroup to PAGER_SHRINK to avois redraw storms.
Diffstat (limited to 'src/ui.cc')
0 files changed, 0 insertions, 0 deletions