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

 

 

def saveState(settings, widget, key): 

    settings.beginGroup(key) 

    settings.setValue('position', widget.pos) 

    settings.setValue('size', widget.size) 

    if hasattr(widget, 'saveState'): 

        settings.setValue('state', widget.saveState()) 

    settings.endGroup() 

 

 

def restoreState(settings, widget, key): 

 

    settings.beginGroup(key) 

 

    if settings.contains('size'): 

        widget.resize(settings.value('size')) 

 

    if settings.contains('position'): 

        widget.move(settings.value('position')) 

 

    if settings.contains('state') and hasattr(widget, 'restoreState'): 

        widget.restoreState(settings.value('state')) 

 

    settings.endGroup()