74 |
print "Saved." |
print "Saved." |
75 |
return 1 |
return 1 |
76 |
|
|
77 |
except java.io.IOException, e: |
except java.io.IOException, e: |
78 |
print "Exception while saving:", e |
print "Exception while saving:", e |
79 |
e.printStackTrace() |
e.printStackTrace() |
80 |
return 0 |
return 0 |
106 |
x.client.windows[self.side].updateDims() |
x.client.windows[self.side].updateDims() |
107 |
|
|
108 |
class ResetDims(SidedOp): |
class ResetDims(SidedOp): |
109 |
def call(self, x) |
def call(self, x): |
110 |
ind = x.client.windows[self.side] |
ind = x.client.windows[self.side] |
111 |
|
|
112 |
for i in range(len(ind)): |
for i in range(len(ind)): |