diff options
author | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-13 19:16:49 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <mpg@redhat.com> | 2007-09-13 19:16:49 (GMT) |
commit | cffd29c284244d8612f10924ad271a457626bd14 (patch) | |
tree | a2c3a86258b191fb7942d482ed2d62305010827e /shell | |
parent | 791bb66087e3667e1afbb5cd32e28e1afd98481f (diff) |
Do not show the toolbox border if there is only one toolbar.
Diffstat (limited to 'shell')
0 files changed, 0 insertions, 0 deletions