diff options
| author | infirit <[email protected]> | 2014-05-19 18:45:07 +0200 |
|---|---|---|
| committer | infirit <[email protected]> | 2014-05-19 20:57:49 +0200 |
| commit | ca9fdb4cef8bdf4aa2982e495784acaa98250ada (patch) | |
| tree | edc276cb0009b244969bd3c15fb6bb690ce5220e /plugins/externaltools/tools | |
| parent | 3fc6d6c429837cdd4ef2d17c2b9f20859187fa93 (diff) | |
| download | pluma-ca9fdb4cef8bdf4aa2982e495784acaa98250ada.tar.bz2 pluma-ca9fdb4cef8bdf4aa2982e495784acaa98250ada.tar.xz | |
Remove has_separator property from gtkbuilder files
Diffstat (limited to 'plugins/externaltools/tools')
| -rwxr-xr-x | plugins/externaltools/tools/tools.ui | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui index 8b40ad98..fde220d1 100755 --- a/plugins/externaltools/tools/tools.ui +++ b/plugins/externaltools/tools/tools.ui @@ -131,7 +131,6 @@ <property name="default_height">500</property> <property name="type_hint">dialog</property> <property name="skip_taskbar_hint">True</property> - <property name="has_separator">False</property> <signal name="focus_out_event" handler="on_tool_manager_dialog_focus_out"/> <signal name="response" handler="on_tool_manager_dialog_response"/> <child internal-child="vbox"> |