Ticket #3632: size.patch

File size.patch, 410 bytes (added by humitos, 11 years ago)

  • library.py 

    diff --git a/library.py b/library.py
index 86bde44..f7bfb89 100644
    a b class View(gtk.EventBox): 
    128128        custom.append_page(custom_stub)
    129129        custom.append_page(custom_widget)
    130130        custom.set_size_request(gtk.gdk.screen_width()/4*3,
    131                 gtk.gdk.screen_height()/2)
     131                gtk.gdk.screen_height()/2 - 55)
    132132
    133133        # workspace
    134134