Mercurial Repositories > eric / file comparison
comparison: Preferences/ConfigurationPages/WebBrowserPage.py
Preferences/ConfigurationPages/WebBrowserPage.py
- changeset 6402
- bdc273bb66c5
- parent 6398
- caf724f53840
- child 6410
- 98a5d0cd72f5
equal
deleted
inserted
replaced
| 6401:f3b56f94a463 | 6402:bdc273bb66c5 |
|---|---|
| 11 | 11 |
| 12 from PyQt5.QtCore import pyqtSlot, QLocale | 12 from PyQt5.QtCore import pyqtSlot, QLocale |
| 13 | 13 |
| 14 from .ConfigurationPageBase import ConfigurationPageBase | 14 from .ConfigurationPageBase import ConfigurationPageBase |
| 15 from .Ui_WebBrowserPage import Ui_WebBrowserPage | 15 from .Ui_WebBrowserPage import Ui_WebBrowserPage |
| 16 | |
| 17 from Globals import qVersionTuple | |
| 16 | 18 |
| 17 import UI.PixmapCache | 19 import UI.PixmapCache |
| 18 import Preferences | 20 import Preferences |
| 19 | 21 |
| 20 | 22 |
| 218 self.autoScrollGroupBox.setChecked( | 220 self.autoScrollGroupBox.setChecked( |
| 219 Preferences.getWebBrowser("AutoScrollEnabled")) | 221 Preferences.getWebBrowser("AutoScrollEnabled")) |
| 220 self.autoScrollDividerSpinBox.setValue( | 222 self.autoScrollDividerSpinBox.setValue( |
| 221 Preferences.getWebBrowser("AutoScrollDivider")) | 223 Preferences.getWebBrowser("AutoScrollDivider")) |
| 222 | 224 |
| 223 self.webInspectorGroup.setChecked( | 225 if qVersionTuple() < (5, 11, 0): |
| 224 Preferences.getWebBrowser("WebInspectorEnabled")) | 226 self.webInspectorGroup.setChecked( |
| 225 self.webInspectorPortSpinBox.setValue( | 227 Preferences.getWebBrowser("WebInspectorEnabled")) |
| 226 Preferences.getWebBrowser("WebInspectorPort")) | 228 self.webInspectorPortSpinBox.setValue( |
| 229 Preferences.getWebBrowser("WebInspectorPort")) | |
| 230 else: | |
| 231 self.webInspectorGroup.setEnabled(False) | |
| 227 | 232 |
| 228 def save(self): | 233 def save(self): |
| 229 """ | 234 """ |
| 230 Public slot to save the Help Viewers configuration. | 235 Public slot to save the Help Viewers configuration. |
| 231 """ | 236 """ |
| 393 self.autoScrollGroupBox.isChecked()) | 398 self.autoScrollGroupBox.isChecked()) |
| 394 Preferences.setWebBrowser( | 399 Preferences.setWebBrowser( |
| 395 "AutoScrollDivider", | 400 "AutoScrollDivider", |
| 396 self.autoScrollDividerSpinBox.value()) | 401 self.autoScrollDividerSpinBox.value()) |
| 397 | 402 |
| 398 Preferences.setWebBrowser( | 403 if qVersionTuple() < (5, 11, 0): |
| 399 "WebInspectorEnabled", | 404 Preferences.setWebBrowser( |
| 400 self.webInspectorGroup.isChecked()) | 405 "WebInspectorEnabled", |
| 401 Preferences.setWebBrowser( | 406 self.webInspectorGroup.isChecked()) |
| 402 "WebInspectorPort", | 407 Preferences.setWebBrowser( |
| 403 self.webInspectorPortSpinBox.value()) | 408 "WebInspectorPort", |
| 409 self.webInspectorPortSpinBox.value()) | |
| 404 | 410 |
| 405 @pyqtSlot() | 411 @pyqtSlot() |
| 406 def on_setCurrentPageButton_clicked(self): | 412 def on_setCurrentPageButton_clicked(self): |
| 407 """ | 413 """ |
| 408 Private slot to set the current page as the home page. | 414 Private slot to set the current page as the home page. |
