382 |
vs.put(vob.vobs.LineVob(0,0,0,1, java.awt.Color.darkGray), cursorCS) |
vs.put(vob.vobs.LineVob(0,0,0,1, java.awt.Color.darkGray), cursorCS) |
383 |
|
|
384 |
|
|
|
|
|
|
def chgFast(self, oldVS): |
|
|
s = self.states.buoymanager.getSingles() |
|
|
for i in s: |
|
|
i.getMainNode().chgFast(oldVS) |
|
|
|
|
|
|
|
|
# /** call back from ContextNodeView */ |
|
|
def isCurrent(self, node, nv): |
|
|
if self.states.cursor.isAccursed(node): |
|
|
nv.setUnCached() |
|
|
else: |
|
|
nv.setCached() |
|
|
|
|
|
# /** call back from TextNodeView */ |
|
|
def toBePlaced(self, node, text): |
|
|
if dbg: p("n"+node+" == ") |
|
|
if self.states.cursor.isAccursed(node): |
|
|
text.setColor(java.awt.Color.red) |
|
|
text.setCursorOffset(self.states.cursor.getCursorOffset()) |
|
|
else: |
|
|
text.setColor(java.awt.Color.black) |
|
|
text.setCursorOffset(-1) |
|
|
|
|
385 |
def renderContext(self, vs, into): |
def renderContext(self, vs, into): |
386 |
self.mousemenu.render(vs) |
self.mousemenu.render(vs) |
387 |
self.mousebuttons = cs = vs.translateCS(0, "BUTTONS",0,0) |
self.mousebuttons = cs = vs.translateCS(0, "BUTTONS",0,0) |
424 |
self.states.mainMouse)) |
self.states.mainMouse)) |
425 |
return 1 |
return 1 |
426 |
elif key == "SAVE": |
elif key == "SAVE": |
427 |
self.save() |
self.save() |
428 |
else: |
return 1 |
429 |
|
else: |
430 |
p('key', key) |
p('key', key) |
431 |
return 0 |
return 0 |
432 |
|
|