20071113154101.42709b80.enrico.troeger@uvena.de 569910396ba1bf455b1d6b13c3fbedac@localhost Message-ID: 7439a0955519ff1d6adc79df8d034e1c@localhost X-Sender: h.aling@home.nl User-Agent: RoundCube Webmail/0.1-svn Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit
On Wed, 14 Nov 2007 12:25:32 +0100, Harold Aling h.aling@home.nl wrote:
On Tue, 13 Nov 2007 15:41:01 +0100, Enrico Tröger enrico.troeger@uvena.de wrote:
On Tue, 13 Nov 2007 11:33:03 +0100, Harold Aling h.aling@home.nl wrote:
I use the symbol list a lot, but I don't like the whitespace on the left side, especially when using longer symbol names... An alternative is to make the symbol list take up lots of my screen estate, which isn't very pleasing...
I recently described in [1] how to change it:
...
I don't know a better to decrease the indentation. It seems GTK doesn't provide more control over this.
How about a non-collapsing list (like the 'files' list) then?
Rightclicking the list will show a 'tick list' like this:
Sort by name Sort by appearance
[X] Show functions [X] Show variables [ ] <etc>
...or by enabling/disabling icons in the top bar (b/w versus color / red cross), just like the files tab has 'up', 'reload', 'home' and 'go to'...
-H-