@@ -423,6 +423,7 @@ class Dock(object):
423
423
panel_x : the panel's x position on screen
424
424
panel_y : the panel's y position on screen
425
425
panel_size : the size of the panel
426
+ panel_expand : whether or not the panel is set to expand
426
427
applet_pos : the position of the applet(in pixels) in the panel
427
428
dm_timer : timer to monitor mouse movement during app icon drag and drop
428
429
da_timer : timer to provide a short delay before activating an app when
@@ -568,6 +569,7 @@ class Dock(object):
568
569
self .panel_x = 0
569
570
self .panel_y = 0
570
571
self .panel_size = 0
572
+ self .panel_expand = True
571
573
self .panel_orient = "top"
572
574
self .applet_pos = 0
573
575
@@ -837,6 +839,7 @@ class Dock(object):
837
839
self .panel_x = self .panel_settings .get_int ("x" )
838
840
self .panel_y = self .panel_settings .get_int ("y" )
839
841
self .panel_size = self .panel_settings .get_int ("size" )
842
+ self .panel_expand = self .panel_settings .get_boolean ("expand" )
840
843
841
844
# if this is left or right oriented panel we need to account for the
842
845
# height of any top panel so that minimise locations are correctly
@@ -909,7 +912,8 @@ class Dock(object):
909
912
app minimise locations
910
913
"""
911
914
912
- if (key == "orientation" ) or (key == "size" ):
915
+ if key in ["orientation" , "size" , "expand" , "x" , "x-centered" , "y" , "y-centered" ,
916
+ "x-right" , "y-bottom" ]:
913
917
self .get_applet_panel_info ()
914
918
if not build_gtk2 :
915
919
self .set_dock_panel_size ()
@@ -3301,7 +3305,7 @@ class Dock(object):
3301
3305
3302
3306
num_vis = self .get_total_num_visible_apps ()
3303
3307
if num_vis > min_icons :
3304
- i = num_vis
3308
+ i = num_vis - min_icons
3305
3309
size_hints = []
3306
3310
while i > 0 :
3307
3311
size_hints .append (i * app_size )
0 commit comments