| 205 | | c = WebSettings() |
| 206 | | c.set_property("minimum_font_size", 8) |
| 207 | | c.set_property("javascript-can-open-windows-automatically", True) |
| 208 | | c.set_property("default-encoding", "Utf-8") |
| 209 | | c.set_property("enable-file-access-from-file-uris", True) |
| 210 | | widget.set_settings(c) |
| | 205 | try: |
| | 206 | c = WebSettings() |
| | 207 | c.set_property("minimum_font_size", 8) |
| | 208 | c.set_property("javascript-can-open-windows-automatically", True) |
| | 209 | c.set_property("default-encoding", "Utf-8") |
| | 210 | c.set_property("enable-file-access-from-file-uris", True) |
| | 211 | widget.set_settings(c) |
| | 212 | except: |
| | 213 | print " VERSIONE DI WEBKIT NON AGGIORNATA... KARMIC?" |