Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

67

68

69

70

71

72

73

74

75

76

77

78

79

80

81

82

83

84

85

86

87

88

89

90

91

92

93

94

95

96

97

98

99

100

101

102

103

104

105

106

#! /usr/bin/env python 

# -*- coding: utf-8 -*- 

 

#       Copyright 2017, Marten de Vries 

# 

#       This file is part of OpenTeacher. 

# 

#       OpenTeacher is free software: you can redistribute it and/or modify 

#       it under the terms of the GNU General Public License as published by 

#       the Free Software Foundation, either version 3 of the License, or 

#       (at your option) any later version. 

# 

#       OpenTeacher is distributed in the hope that it will be useful, 

#       but WITHOUT ANY WARRANTY; without even the implied warranty of 

#       MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the 

#       GNU General Public License for more details. 

# 

#       You should have received a copy of the GNU General Public License 

#       along with OpenTeacher.  If not, see <http://www.gnu.org/licenses/>. 

 

import tempfile 

import os 

import atexit 

 

class View: 

        def __init__(self, Event): 

                self.widget = QtWebEngineWidgets.QWebEngineView() 

                self.widget.page().profile().setHttpCacheType(QtWebEngineWidgets.QWebEngineProfile.MemoryHttpCache) 

 

                self.onFinished = Event() 

                self.urlChanged = Event() 

                self.widget.loadFinished.connect(self.onFinished.send) 

                self.widget.urlChanged.connect(lambda url: self.urlChanged.send(url.toString())) 

 

        def forward(self): 

                self.widget.forward() 

 

        def back(self): 

                self.widget.back() 

 

        def reload(self): 

                self.widget.reload() 

 

        def enablePlugins(self): 

                s = QtWebEngineWidgets.QWebEngineSettings.defaultSettings() 

                s.setAttribute(QtWebEngineWidgets.QWebEngineSettings.PluginsEnabled, True) 

 

        def request(self, url, headers=None): 

                profile = self.widget.page().profile() 

                for header, value in (headers or {}).items(): 

                        # add headers as required 

                        { 

                                b'Accept-Language': profile.setHttpAcceptLanguage, 

                                b'User-Agent': profile.setHttpUserAgent, 

                        }[header](value.decode('ascii')) 

                self.widget.load(QtCore.QUrl(url)) 

 

        def print_(self, printer, donePrinting): 

                # TODO: The result of this is atrocious. Perhaps re-implement printing 

                # so as to not need a web engine? 

                self.widget.page().print(printer, lambda ok: donePrinting()) 

 

        def setHtml(self, html): 

                fd, name = tempfile.mkstemp(suffix='.html') 

                with open(name, 'w', encoding='UTF-8') as f: 

                        f.write(html) 

                self.request('file://' + name) 

                def remove(*args): 

                        self.widget.loadFinished.disconnect(remove) 

                        atexit.unregister(remove) 

                        os.remove(name) 

                self.widget.loadFinished.connect(remove) 

                atexit.register(remove) 

 

class QtWebEngineWebEngineModule: 

        def __init__(self, moduleManager, *args, **kwargs): 

                super().__init__(*args, **kwargs) 

                self._mm = moduleManager 

 

                self.type = 'webEngine' 

 

                self.requires = ( 

                        self._mm.mods(type='event'), 

                ) 

 

        def createView(self): 

                """"See the qtwebkit web engine for documentation""" 

 

                return View(self._modules.default('active', type='event').createEvent) 

 

        def enable(self): 

                global QtWebEngineWidgets, QtWidgets, QtGui, QtCore 

                try: 

                        from PyQt5 import QtWebEngineWidgets, QtWidgets, QtGui, QtCore 

                except ImportError as e: 

                        # remain inactive 

                        return 

                self._modules = next(iter(self._mm.mods(type='modules'))) 

                self.active = True 

 

        def disable(self): 

                self.active = False 

                del self._modules 

 

def init(moduleManager): 

        return QtWebEngineWebEngineModule(moduleManager)