Ticket #347: pippy_res_347.patch

File pippy_res_347.patch, 2.4 KB (added by joleary, 15 years ago)

button size and panes for different resolutions

  • pippy_app.py

    old new  
    8383        # Main layout.
    8484        hbox = gtk.HBox()
    8585        vbox = gtk.VBox()
     86        hpane1 = gtk.HPaned()
     87        vpane1 = gtk.VPaned()
    8688       
    8789        # The sidebar.
    8890        sidebar = gtk.VBox()
     
    98100        scrolled = gtk.ScrolledWindow()
    99101        scrolled.add(treeview)
    100102        sidebar.pack_start(scrolled)
    101         hbox.pack_start(sidebar)
     103        hpane1.pack1(sidebar,True,False)
    102104
    103105        root = os.path.join(get_bundle_path(), 'data')
    104106        for d in sorted(os.listdir(root)):
     
    161163        codesw.set_policy(gtk.POLICY_AUTOMATIC,
    162164                      gtk.POLICY_AUTOMATIC)
    163165        codesw.add(self.text_view)
    164         vbox.pack_start(codesw)
     166        vpane1.pack1(codesw,True,True)
    165167
    166168        # An hbox for the buttons
    167169        buttonhbox = gtk.HBox()
     
    172174        gobutton = gtk.Button(label=_("_Run!"))
    173175        gobutton.set_image(goicon)
    174176        gobutton.connect('clicked', self.gobutton_cb)
    175         gobutton.set_size_request(650, 2)
     177        gobutton.set_size_request(650, 45)
    176178        buttonhbox.pack_start(gobutton)
    177179
    178180        # The "stop" button
    179181        stopbutton = gtk.Button(stock=gtk.STOCK_STOP)
    180182        stopbutton.connect('clicked', self.stopbutton_cb)
    181         stopbutton.set_size_request(200, 2)
     183        stopbutton.set_size_request(200, 45)
    182184        buttonhbox.pack_start(stopbutton)
    183185
    184186        # The "clear" button
    185187        clearbutton = gtk.Button(stock=gtk.STOCK_CLEAR)
    186188        clearbutton.connect('clicked', self.clearbutton_cb)
    187         clearbutton.set_size_request(150, 2)
     189        clearbutton.set_size_request(150, 45)
    188190        buttonhbox.pack_end(clearbutton)
    189191
    190         vbox.pack_start(buttonhbox)
     192        vbox.pack_start(buttonhbox,False,False,0)
    191193
    192194        # An hbox to hold the vte window and its scrollbar.
    193195        outbox = gtk.HBox()
     
    213215        outsb = gtk.VScrollbar(self._vte.get_adjustment())
    214216        outsb.show()
    215217        outbox.pack_start(outsb, False, False, 0)
    216         vbox.pack_end(outbox)
    217         hbox.pack_end(vbox)
    218         self.set_canvas(hbox)
     218        vbox.pack_end(outbox,True,True,0)
     219        vpane1.pack2(vbox,True,True)
     220        hpane1.pack2(vpane1,True,True)
     221        self.set_canvas(hpane1)
    219222        self.show_all()
    220223
    221224