eric7/Preferences/ConfigurationPages/WebBrowserPage.py

branch
eric7
changeset 8561
641304b46f08
parent 8558
396fc1508450
child 8881
54e42bc2437a
equal deleted inserted replaced
8558:396fc1508450 8561:641304b46f08
64 Preferences.getWebBrowser("FullScreenSupportEnabled")) 64 Preferences.getWebBrowser("FullScreenSupportEnabled"))
65 self.screenCaptureCheckBox.setChecked( 65 self.screenCaptureCheckBox.setChecked(
66 Preferences.getWebBrowser("ScreenCaptureEnabled")) 66 Preferences.getWebBrowser("ScreenCaptureEnabled"))
67 self.webGLCheckBox.setChecked( 67 self.webGLCheckBox.setChecked(
68 Preferences.getWebBrowser("WebGLEnabled")) 68 Preferences.getWebBrowser("WebGLEnabled"))
69 self.accelerated2dCanvasCheckBox.setChecked(
70 Preferences.getWebBrowser("Accelerated2dCanvasEnabled"))
71 self.autoloadIconsCheckBox.setChecked(
72 Preferences.getWebBrowser("AutoLoadIconsForPage"))
69 self.autoplayMediaCheckBox.setChecked( 73 self.autoplayMediaCheckBox.setChecked(
70 Preferences.getWebBrowser("PlaybackRequiresUserGesture")) 74 Preferences.getWebBrowser("PlaybackRequiresUserGesture"))
71 self.webRtcPublicOnlyCheckBox.setChecked( 75 self.webRtcPublicOnlyCheckBox.setChecked(
72 Preferences.getWebBrowser("WebRTCPublicInterfacesOnly")) 76 Preferences.getWebBrowser("WebRTCPublicInterfacesOnly"))
73 self.dnsPrefetchCheckBox.setChecked( 77 self.dnsPrefetchCheckBox.setChecked(
237 "ScreenCaptureEnabled", 241 "ScreenCaptureEnabled",
238 self.screenCaptureCheckBox.isChecked()) 242 self.screenCaptureCheckBox.isChecked())
239 Preferences.setWebBrowser( 243 Preferences.setWebBrowser(
240 "WebGLEnabled", 244 "WebGLEnabled",
241 self.webGLCheckBox.isChecked()) 245 self.webGLCheckBox.isChecked())
242 246 Preferences.setWebBrowser(
247 "Accelerated2dCanvasEnabled",
248 self.accelerated2dCanvasCheckBox.isChecked()),
249
250 Preferences.setWebBrowser(
251 "AutoLoadIconsForPage",
252 self.autoloadIconsCheckBox.isChecked()),
243 Preferences.setWebBrowser( 253 Preferences.setWebBrowser(
244 "PlaybackRequiresUserGesture", 254 "PlaybackRequiresUserGesture",
245 self.autoplayMediaCheckBox.isChecked()) 255 self.autoplayMediaCheckBox.isChecked())
246 Preferences.setWebBrowser( 256 Preferences.setWebBrowser(
247 "WebRTCPublicInterfacesOnly", 257 "WebRTCPublicInterfacesOnly",

eric ide

mercurial