9 |
from java.lang import Math |
from java.lang import Math |
10 |
from java.awt.event import MouseEvent |
from java.awt.event import MouseEvent |
11 |
from java.io import File |
from java.io import File |
12 |
|
from java.util.zip import ZipFile |
13 |
|
|
14 |
from gfx.libutil import effects |
from gfx.libutil import effects |
15 |
|
|
88 |
print self.vs.matcher.interpList(self.vs.matcher) |
print self.vs.matcher.interpList(self.vs.matcher) |
89 |
if key == "Ctrl-X": |
if key == "Ctrl-X": |
90 |
print 'Save...' |
print 'Save...' |
91 |
print 'Be sure that you have /tmp/pp/ directory' |
|
92 |
# Next, the mediaserver we'll save to. |
# Next, the mediaserver we'll save to. |
93 |
ms = gzz.mediaserver.SimpleMediaserver( |
ms = gzz.mediaserver.SimpleMediaserver( |
94 |
gzz.mediaserver.storage.DirStorer(File("/tmp/pp/"))) |
gzz.mediaserver.storage.ZipStorer(ZipFile("/tmp/pp.zip/"))) |
|
|
|
95 |
|
|
96 |
# We'll use a fake mediaserver pointer |
# We'll use a fake mediaserver pointer |
97 |
pointer_id = "FOObar" |
pointer_id = "FOObar" |
98 |
|
|
|
|
|
99 |
# We need to get a "filer" for storing versions of our space. |
# We need to get a "filer" for storing versions of our space. |
100 |
# Accept this part as 'magic' for now... |
# Accept this part as 'magic' for now... |
101 |
filers = gzz.mediaserver.MediaserverFiler.Group( |
filers = gzz.mediaserver.MediaserverFiler.Group( |
108 |
|
|
109 |
if key == "Ctrl-Z": |
if key == "Ctrl-Z": |
110 |
print 'Loading scene' |
print 'Loading scene' |
111 |
|
|
112 |
# Next, the mediaserver we'll save to. |
# Next, the mediaserver we'll save to. |
113 |
ms = gzz.mediaserver.SimpleMediaserver( |
ms = gzz.mediaserver.SimpleMediaserver( |
114 |
gzz.mediaserver.storage.DirStorer(File("/tmp/pp/"))) |
gzz.mediaserver.storage.ZipStorer(ZipFile("/tmp/pp.zip/"))) |
115 |
|
|
116 |
# We'll use a fake mediaserver pointer |
# We'll use a fake mediaserver pointer |
117 |
pointer_id = "FOObar" |
pointer_id = "FOObar" |
178 |
ev_h.vs = self.vs |
ev_h.vs = self.vs |
179 |
ev_h.context = self.avc |
ev_h.context = self.avc |
180 |
gzz.modules.pp.EventHandling.i().handleEvent(self.vs, ev); |
gzz.modules.pp.EventHandling.i().handleEvent(self.vs, ev); |
181 |
|
#if ev.getID() == ev.MOUSE_DRAGGED: |
182 |
#if ev.getID() == ev.MOUSE_CLICKED: |
# print 'replaceNewScene' |
183 |
# if self.ppv.showLinkbuoys: |
# |
184 |
# p = self.ppv.getMakeLinkOrSetCursor(self.vs, ev.getX(), ev.getY(), |
# According to mudyc's test you can't use replaceNewScene when |
185 |
# self.avc) |
# you do handle mouse events or no difference is shown on screen. |
186 |
# if p: |
# replaceNewScene(self.vs) |
|
# if p.first != None: |
|
|
# ppactions.assocNotes(self.avc.getAccursed().getId(), |
|
|
# -1, p.first.getId()) |
|
|
# else: |
|
|
# ppactions.assocNotes(self.avc.getAccursed().getId(), |
|
|
# 1, p.second.getId()) |
|
|
# self.ppv.showLinkbuoys = 0 |
|
|
# else: |
|
|
# self.map = self.ppv.setCursorTo(self.vs, ev.getX(), ev.getY(), self.avc) |
|
|
# AbstractUpdateManager.chg() |
|
|
#elif ev.getID() == ev.MOUSE_PRESSED: |
|
|
# self.press = (ev.getX(), ev.getY()) |
|
|
# self.pzoom = self.ppv.zoom |
|
|
# self.poffset = (self.ppv.panx, self.ppv.pany) |
|
|
# self.but = ev.getModifiers() |
|
|
#elif ev.getID() == ev.MOUSE_DRAGGED: |
|
|
if ev.getID() == ev.MOUSE_DRAGGED: |
|
|
# if self.but == ev.BUTTON3_MASK: |
|
|
# self.ppv.zoom = self.pzoom * math.exp( |
|
|
# (self.press[1] - ev.getY())/150.0) |
|
|
# print self.ppv.zoom |
|
|
# elif self.but == ev.BUTTON1_MASK: |
|
|
# self.ppv.panx = self.poffset[0] - (ev.getX() - self.press[0]) |
|
|
# self.ppv.pany = self.poffset[1] - (ev.getY() - self.press[1]) |
|
|
# else: |
|
|
# return |
|
|
# self.ppv.setZoomPan(self.vs) |
|
|
print 'replaceNewScene' |
|
|
replaceNewScene(self.vs) |
|
|
# AbstractUpdateManager.setNoAnimation() |
|
|
# AbstractUpdateManager.chg() |
|
187 |
|
|
188 |
gzz.view.CoordinatePlaneView.dbg = 0 |
gzz.view.CoordinatePlaneView.dbg = 0 |
189 |
gzz.view.Cell1DBuoyHook.dbg = 0 |
gzz.view.Cell1DBuoyHook.dbg = 0 |