Adjusting the default size of a plugin

git-svn-id: file:///svnroot/ejpi/trunk@57 df6cc7de-23d0-4ae0-bb86-c17aa67b2a9d

diff --git a/src/ejpi.glade b/src/ejpi.glade
index ed4bec8..fe1f0ab 100644 (file)
--- a/src/ejpi.glade
+++ b/src/ejpi.glade
@@ -129,6 +129,8 @@
                     <property name="can_focus">True</property>
                     <property name="hscrollbar_policy">never</property>
                     <property name="vscrollbar_policy">automatic</property>
+                    <property name="window_placement">bottom-left</property>
+                    <property name="window_placement_set">True</property>
                     <child>
                       <widget class="GtkTreeView" id="historyView">
                         <property name="visible">True</property>
@@ -137,9 +139,6 @@
                         <property name="reorderable">True</property>
                         <property name="rules_hint">True</property>
                         <property name="enable_search">False</property>
-                        <property name="hover_selection">False</property>
-                        <property name="hover_expand">False</property>
-                        <property name="rubber_banding">False</property>
                       </widget>
                     </child>
                   </widget>

diff --git a/src/ejpi_glade.py b/src/ejpi_glade.py
index c725dcf..fc0a251 100755 (executable)
--- a/src/ejpi_glade.py
+++ b/src/ejpi_glade.py
@@ -112,6 +112,8 @@ class Calculator(object):
        _user_settings = "%s/settings.ini" % _user_data
        _user_history = "%s/history.stack" % _user_data
 
+       MIN_BUTTON_SIZE = min(800, 480) // 6 - 20
+
        def __init__(self):
                self.__constantPlugins = plugin_utils.ConstantPluginManager()
                self.__constantPlugins.add_path(*self._plugin_search_paths)
@@ -195,6 +197,9 @@ class Calculator(object):
                self.__builtinPlugin = self.__keyboardPlugins.keyboards["Builtin"].construct_keyboard()
                self.__builtinKeyboard = self.__builtinPlugin.setup(self.__history, self.__sliceStyle, self.__handler)
                self._widgetTree.get_widget("mainKeyboard").pack_start(self.__builtinKeyboard)
+               for child in self.__builtinKeyboard.get_children():
+                       child.set_size_request(self.MIN_BUTTON_SIZE, self.MIN_BUTTON_SIZE)
+
                self.enable_plugin(self.__keyboardPlugins.lookup_plugin("Trigonometry"))
                self.enable_plugin(self.__keyboardPlugins.lookup_plugin("Computer"))
                self.enable_plugin(self.__keyboardPlugins.lookup_plugin("Alphabet"))
@@ -249,6 +254,8 @@ class Calculator(object):
                pluginName = pluginData[0]
                plugin = self.__keyboardPlugins.keyboards[pluginName].construct_keyboard()
                pluginKeyboard = plugin.setup(self.__history, self.__sliceStyle, self.__handler)
+               for child in pluginKeyboard.get_children():
+                       child.set_size_request(self.MIN_BUTTON_SIZE, self.MIN_BUTTON_SIZE)
 
                self.__activeKeyboards.append({
                        "pluginName": pluginName,
@@ -265,6 +272,7 @@ class Calculator(object):
        def _set_plugin_kb(self, pluginIndex):
                plugin = self.__activeKeyboards[pluginIndex]
                self.__pluginButton.set_label(plugin["pluginName"])
+
                pluginParent = self._widgetTree.get_widget("pluginKeyboard")
                oldPluginChildren = pluginParent.get_children()
                if oldPluginChildren:
@@ -273,6 +281,7 @@ class Calculator(object):
                        oldPluginChildren[0].hide()
                pluginKeyboard = plugin["pluginKeyboard"]
                pluginParent.pack_start(pluginKeyboard)
+
                pluginKeyboard.show_all()
 
        def __load_history(self):