diff pyink/FSM_window.py @ 1479:92a8497d0361

Make FSM editor scrollable
author Thinker K.F. Li <thinker@codemud.net>
date Wed, 27 Apr 2011 15:41:47 +0800
parents 6fe773e62b2a
children e11ffd5fd609
line wrap: on
line diff
--- a/pyink/FSM_window.py	Mon Apr 25 17:52:51 2011 +0800
+++ b/pyink/FSM_window.py	Wed Apr 27 15:41:47 2011 +0800
@@ -450,6 +450,11 @@
     def set_svg_view(self, view):
         self._view_box.add(view)
         self._view_widget = view
+        
+        root = self._root()
+        root.setAttribute('width', '1024')
+        root.setAttribute('height', '768')
+        view.setResize(True, 800, 600)
         pass
 
     def on_close_window_activate(self, *args):
@@ -528,7 +533,7 @@
         doc = view.doc()
         rdoc = doc.rdoc
         root_node = doc.root().repr
-        
+
         line_node = rdoc.createElement('svg:line')
         line_node.setAttribute('x1', '10')
         line_node.setAttribute('y1', '10')