diff options
Diffstat (limited to 'plugins/pythonconsole')
| -rwxr-xr-x | plugins/pythonconsole/pythonconsole/config.ui | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/pythonconsole/pythonconsole/config.ui b/plugins/pythonconsole/pythonconsole/config.ui index 4ffe26f6..14c36c70 100755 --- a/plugins/pythonconsole/pythonconsole/config.ui +++ b/plugins/pythonconsole/pythonconsole/config.ui @@ -6,7 +6,6 @@ <property name="window_position">center-on-parent</property> <property name="destroy_with_parent">True</property> <property name="type_hint">dialog</property> - <property name="has_separator">False</property> <signal name="destroy" handler="on_dialog_config_destroy"/> <signal name="response" handler="on_dialog_config_response"/> <child internal-child="vbox"> |