74 |
else: |
else: |
75 |
print "Using Python bindings" |
print "Using Python bindings" |
76 |
import bindings |
import bindings |
77 |
self.binder = \ |
self.binder = gzz.client.pythonbinder.PythonBinder( |
78 |
gzz.client.pythonbinder.PythonBinder(bindings.normal_mode) |
bindings.normal_mode, bindings.edit_mode, bindings.search_mode) |
79 |
|
|
80 |
self.spanType = java.lang.System.getProperty("gzz.spanType") |
self.spanType = java.lang.System.getProperty("gzz.spanType") |
81 |
self.spaceType = java.lang.System.getProperty("gzz.spaceType") |
self.spaceType = java.lang.System.getProperty("gzz.spaceType") |