# HG changeset patch # User Thorsten Liebig # Date 1347394365 -7200 # Node ID 75f28de3a3878429750daba7897e36495b9169aa # Parent b6b261c3eab32bb1640f9230edd7c1a553fd27b9 * settings-dialog.ui: removed some strange settings and signal connections diff --git a/libgui/src/settings-dialog.ui b/libgui/src/settings-dialog.ui --- a/libgui/src/settings-dialog.ui +++ b/libgui/src/settings-dialog.ui @@ -103,9 +103,6 @@ Show line numbers - - false - @@ -116,9 +113,6 @@ Highlight current line - - false - @@ -634,38 +628,6 @@ - editor_showLineNumbers - toggled(bool) - editor_showLineNumbers - setEnabled(bool) - - - 249 - 87 - - - 249 - 87 - - - - - editor_highlightCurrentLine - toggled(bool) - editor_highlightCurrentLine - setEnabled(bool) - - - 249 - 112 - - - 249 - 112 - - - - useProxyServer toggled(bool) proxyUserName @@ -714,22 +676,6 @@ - editor_codeCompletion - toggled(bool) - editor_codeCompletion - setEnabled(bool) - - - 249 - 137 - - - 249 - 137 - - - - buttonBox accepted() settings_dialog