diff options
| author |  Alexey Yakovenko <waker@users.sourceforge.net> | 2013-11-03 18:52:21 +0100 |
|---|---|---|
| committer | Alexey Yakovenko <waker@users.sourceforge.net> | 2013-11-03 18:52:21 +0100 |
| commit | 553d1c27fec6e5ef1743f97e2e7c612ec8678ab8 (patch) | |
| tree | 150a324a2f54db8957a9fe3bb123ee19515f12ca /plugins/shellexecui | |
| parent | 7457e16d65f3595ec5eb22df58c2d667632f5f4c (diff) | |
gtkui: always use eventbox in the splitter widget -- this fixes few layout problems, and simplifies code a lot
Diffstat (limited to 'plugins/shellexecui')
0 files changed, 0 insertions, 0 deletions