Return to previous paned position when unfullscreen

Signed-off-by: Daniel Francis <francis@sugarlabs.org>
Reviewed-by: Alan Aguiar <alanjas@hotmail.com>

2 files changed, 6 insertions, 0 deletions

diff --git a/application.py b/application.py
index 64ae784..7d3faf0 100755
--- a/application.py
+++ b/application.py
@@ -18,6 +18,8 @@
 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
 # MA 02110-1301, USA.
 
+# This file is modified for Graph Plotter
+
 import os
 import logging
 logging.basicConfig(level=logging.DEBUG)
@@ -178,6 +180,9 @@ class Application(gtk.Window):
         self.options.show()
         self._is_fullscreen = False
         self._unfullscreen_button.destroy()
+        # The following line is an adition for Graph Plotter
+        self.canvas._resize_queue = self.canvas.previous_size
+        # Part of the sweetener code
         gtk.Window.unfullscreen(self)
 
     def export(self, widget, data):
diff --git a/canvas.py b/canvas.py
index 684ca5e..62c660b 100644
--- a/canvas.py
+++ b/canvas.py
@@ -191,6 +191,7 @@ class Canvas(gtk.HPaned):
         self.ylabel.set_text("y = " + str(int(y * 100) / 100.0))
 
     def _fullscreen(self, widget):
+        self.previous_size = self._resize_constant
         self._resize_queue = 0
         self.activity.fullscreen()