Ticket #347: pippy_res_347_v2.patch

File pippy_res_347_v2.patch, 4.0 KB (added by joleary, 15 years ago)

patch using style.GRID_CELL_SIZE

  • 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()
     
    9294        treecolumn = gtk.TreeViewColumn(_("Examples"), cellrenderer, text=1)
    9395        treeview.get_selection().connect("changed", self.selection_cb)
    9496        treeview.append_column(treecolumn)
    95         treeview.set_size_request(220, 900)
     97        treeview.set_size_request(style.GRID_CELL_SIZE*3, style.GRID_CELL_SIZE*11)
    9698
    9799        # Create scrollbars around the view.
    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)):
     
    141143
    142144        # The GTK source view window
    143145        self.text_view = gtksourceview2.View(text_buffer)
    144         self.text_view.set_size_request(900, 350)
     146        self.text_view.set_size_request(style.GRID_CELL_SIZE*13, style.GRID_CELL_SIZE*5)
    145147        self.text_view.set_editable(True)
    146148        self.text_view.set_cursor_visible(True)
    147149        self.text_view.set_show_line_numbers(True)
     
    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
    167         buttonhbox = gtk.HBox()
     169        buttonhbox = gtk.HBox(True,0)
    168170
    169171        # The "go" button
    170172        goicon = gtk.Image()
     
    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)
    176         buttonhbox.pack_start(gobutton)
     177        gobutton.set_size_request(style.GRID_CELL_SIZE*3, style.GRID_CELL_SIZE)
     178        buttonhbox.pack_start(gobutton,True,False,0)
    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)
    182         buttonhbox.pack_start(stopbutton)
     183        stopbutton.set_size_request(style.GRID_CELL_SIZE*3, style.GRID_CELL_SIZE)
     184        buttonhbox.pack_start(stopbutton,True,False,0)
    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)
    188         buttonhbox.pack_end(clearbutton)
     189        clearbutton.set_size_request(style.GRID_CELL_SIZE*3, style.GRID_CELL_SIZE)
     190        buttonhbox.pack_end(clearbutton,True,False,0)
    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()
     
    196198        self._vte = vte.Terminal()
    197199        self._vte.set_encoding('utf-8')
    198200        self._vte.set_size(30, 5)
    199         self._vte.set_size_request(200, 300)
     201        self._vte.set_size_request(style.GRID_CELL_SIZE*13, style.GRID_CELL_SIZE*5)
    200202        font = 'Monospace ' + str(font_zoom(style.FONT_SIZE))
    201203        self._vte.set_font(pango.FontDescription(font))
    202204        self._vte.set_colors(gtk.gdk.color_parse ('#000000'),
     
    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