diff options
Diffstat (limited to 'plugins/externaltools/tools/tools.ui')
| -rw-r--r-- | plugins/externaltools/tools/tools.ui | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui index fde220d1..afdd3f9d 100644 --- a/plugins/externaltools/tools/tools.ui +++ b/plugins/externaltools/tools/tools.ui @@ -131,6 +131,7 @@ <property name="default_height">500</property> <property name="type_hint">dialog</property> <property name="skip_taskbar_hint">True</property> + <signal name="configure_event" handler="on_tool_manager_dialog_configure_event"/> <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"> @@ -551,6 +552,8 @@ </child> </object> <packing> + <property name="expand">True</property> + <property name="fill">True</property> <property name="position">1</property> </packing> </child> |