Tom Tromey
756d5c66f8
Add some new icons
...
Add some new icons from Feather Icons.
A few old ones remain for the source window contents.
2017-09-05 22:39:04 -06:00
Tom Tromey
e589768aeb
Fix some key bindings
...
The "u" and "d" key bindings were reversed.
Fixes #9
2017-09-05 22:05:20 -06:00
Tom Tromey
124d875f48
fix labels on up/down buttons
2016-03-03 09:04:42 -07:00
Tom Tromey
1273564e45
make up/down buttons work again
...
Fixes #31
2015-07-02 22:27:48 -06:00
Tom Tromey
9e116896c6
use icon_name, not stock_id
...
I couldn't reproduce this bug -- I couldn't see how to get gtk to emit
deprecation warnings for me. This should work though.
Fix #30 .
2015-05-20 08:08:44 -06:00
Tom Tromey
f11f884f8d
add up and down buttons to source window
2015-05-06 12:41:28 -06:00
Tom Tromey
4004b80fee
add a "clicked" handler for "next" button
2015-04-29 11:25:32 -06:00
Tom Tromey
7020755290
allow clicking to set a breakpoint
...
Clicking in the left gutter of the source window will set a
breakpoint. Currently the effect of this is somewhat invisible,
because there is no way for the GUI to notice when breakpoints
are created.
2013-06-14 12:04:16 -06:00
Tom Tromey
33347637ac
Change source window title
2013-06-12 11:14:33 -06:00
Tom Tromey
2667cb0617
add an accelerator for "finish"
2013-06-07 14:50:30 -06:00
Tom Tromey
c31ec25531
add "finish" command
...
This adds the "finish" command to the GUI.
It also wires up the "stop" button, but that still doesn't
seem to work.
2013-06-07 14:47:50 -06:00
Tom Tromey
5fceb3421e
move to pygobject and glade
...
This ports the code to PyGObject, and also changes it to use Glade to
edit the user interface elements.
2013-06-07 11:13:31 -06:00
