Changeset 178

Show
Ignore:
Timestamp:
Wed Jun 27 04:03:04 2007
Author:
manatlan
Message:

- better window size management for the "window key tagguing"

Files:

Legend:

Unmodified
Added
Removed
Modified

  • trunk/jbrout.glade

    r177 r178  
    1010 1010   </widget>  
    1011 1011   <widget class="GtkWindow" id="WinKeyTag">  
      1012     <property name="height_request">150</property>  
    1012 1013     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>  
    1013 1014     <property name="modal">True</property>  
    …… 
    1050 1051             <property name="can_focus">True</property>  
    1051 1052             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>  
    1052               <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>  
      1053             <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>  
    1052 1053             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>  
    1053 1054             <child>  

  • trunk/winsearch.py

    r177 r178  
    132 132  
    133 133         self.main_widget.set_transient_for(parent)  
    134           self.main_widget.set_modal(True)  
    135 134         w,h=JBrout.conf["search.width"] or 500,JBrout.conf["search.height"] or 400  
    136 135         self.main_widget.resize( w,h )