Tabs: elide tabtexts.
authorgregor herrmann <gregoa@debian.org>
Wed, 21 Sep 2011 21:56:56 +0000 (21:56 +0000)
committergregor herrmann <gregoa@debian.org>
Wed, 21 Sep 2011 21:56:56 +0000 (21:56 +0000)
commit6d48bb28fda27be5380b45936504df4a2ed10bb2
treee16ebc33d9d5da6f1708bc6c1e033f52b981c10c
parent1825f8254c4aaa2fe261356b7b0a9091ac471b46
Tabs: elide tabtexts.
src/gui/mainwindow.ui