62 |
self.states.spanImageFactory.paperMaker = self.makerTypes[0] |
self.states.spanImageFactory.paperMaker = self.makerTypes[0] |
63 |
self.makerTypes.append(self.makerTypes.pop(0)) |
self.makerTypes.append(self.makerTypes.pop(0)) |
64 |
self.states.nodeview.reinit(fen.graph, 100) |
self.states.nodeview.reinit(fen.graph, 100) |
65 |
self.states.pageview.flush() |
self.states.view2d.pageview.flush() |
66 |
|
|
67 |
if stroke == 'Ctrl-A': |
if stroke == 'Ctrl-A': |
68 |
p('Make an annotate.') |
p('Make an annotate.') |
137 |
# see AbstractMainNode2D.mouse() |
# see AbstractMainNode2D.mouse() |
138 |
self.fastChg = 0 |
self.fastChg = 0 |
139 |
|
|
140 |
|
class Views: |
141 |
|
def __init__(self): |
142 |
|
self.irregu = None |
143 |
|
self.pageview = None |
144 |
|
self.view2d = Views() |
145 |
|
|
146 |
|
|
147 |
def chgCtrl(self): |
def chgCtrl(self): |
148 |
self.ctrl = not self.ctrl |
self.ctrl = not self.ctrl |
149 |
if self.ctrl: |
if self.ctrl: |