15 |
self.optimized = ["not", "opt", "both"] |
self.optimized = ["not", "opt", "both"] |
16 |
|
|
17 |
print "Paper2scene, keys = ",keys |
print "Paper2scene, keys = ",keys |
18 |
self.key = KeyPresses(self, *keys) |
self.key = KeyPresses(self, |
19 |
|
Action("Choose random seed", "v", self.randomize, |
20 |
|
noAnimation=1), |
21 |
|
*keys |
22 |
|
) |
23 |
|
|
24 |
|
def randomize(self): |
25 |
|
self.seed = rng.nextInt(2000000000) |
26 |
|
self.initpaper() |
27 |
|
|
28 |
def initpaper(self): |
def initpaper(self): |
29 |
self.pq = getpaper(self.seed) |
self.pq = getpaper(self.seed) |
33 |
oldseed = self.seed |
oldseed = self.seed |
34 |
if k >= "0" and k <= "9": self.seed = self.seed * 10 + int(k) |
if k >= "0" and k <= "9": self.seed = self.seed * 10 + int(k) |
35 |
if k == "BackSpace" or k == "Backspace": self.seed = self.seed / 10 |
if k == "BackSpace" or k == "Backspace": self.seed = self.seed / 10 |
|
if k == "v": |
|
|
self.seed = rng.nextInt(2000000000) |
|
36 |
if k == 'o': |
if k == 'o': |
37 |
rotatelist(self.optimized) |
rotatelist(self.optimized) |
38 |
|
|