8 |
import math |
import math |
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 |
12 |
|
|
13 |
from gfx.libutil import effects |
from gfx.libutil import effects |
14 |
|
|
87 |
print self.vs.matcher.interpList(self.vs.matcher) |
print self.vs.matcher.interpList(self.vs.matcher) |
88 |
if key == "Ctrl-X": |
if key == "Ctrl-X": |
89 |
print 'Save...' |
print 'Save...' |
90 |
|
print 'Be sure that you have /tmp/pp/ directory' |
91 |
# Next, the mediaserver we'll save to. |
# Next, the mediaserver we'll save to. |
92 |
ms = gzz.mediaserver.SimpleMediaserver( |
ms = gzz.mediaserver.SimpleMediaserver( |
93 |
gzz.mediaserver.storage.TransientStorer()) |
gzz.mediaserver.storage.DirStorer(File("/tmp/pp/"))) |
94 |
|
|
95 |
|
|
96 |
# We'll use a fake mediaserver pointer |
# We'll use a fake mediaserver pointer |
97 |
pointer_id = "FOObar" |
pointer_id = "FOObar" |
111 |
print 'Loading scene' |
print 'Loading scene' |
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.TransientStorer()) |
gzz.mediaserver.storage.DirStorer(File("/tmp/pp/"))) |
115 |
|
|
116 |
# We'll use a fake mediaserver pointer |
# We'll use a fake mediaserver pointer |
117 |
pointer_id = "FOObar" |
pointer_id = "FOObar" |