112 ) |
112 ) |
113 self.serverPortIncrementCheckBox.setChecked( |
113 self.serverPortIncrementCheckBox.setChecked( |
114 Preferences.getDebugger("NetworkPortIncrement") |
114 Preferences.getDebugger("NetworkPortIncrement") |
115 ) |
115 ) |
116 self.serverPortSpinBox.setValue(Preferences.getDebugger("NetworkPort")) |
116 self.serverPortSpinBox.setValue(Preferences.getDebugger("NetworkPort")) |
117 # TODO: allow to listen on a specific port with auto-increment if port is in |
|
118 # use already |
|
119 |
117 |
120 self.allowedHostsList.addItems(Preferences.getDebugger("AllowedHosts")) |
118 self.allowedHostsList.addItems(Preferences.getDebugger("AllowedHosts")) |
121 |
119 |
122 self.remoteDebuggerGroup.setChecked(Preferences.getDebugger("RemoteDbgEnabled")) |
120 self.remoteDebuggerGroup.setChecked(Preferences.getDebugger("RemoteDbgEnabled")) |
123 self.hostLineEdit.setText(Preferences.getDebugger("RemoteHost")) |
121 self.hostLineEdit.setText(Preferences.getDebugger("RemoteHost")) |