Tom Tromey
48e2764916
add stop notifications
...
Fixes #38
2015-09-29 12:52:46 -06:00
Tom Tromey
ca8344526c
beginnings of a source window
...
does not yet really work
2015-07-02 20:14:30 -06:00
Tom Tromey
22bdecb10d
make it work with both python2 and python3
...
I ran 2to3, fixed up the output a tiny bit, and fixed the C module as
well. I smoke tested with both versions of Python but didn't use it in
anger yet.
Fix #29
2015-05-19 09:44:09 -06:00
Tom Tromey
f94c64d369
add parameters for line numbers and tab width
2015-05-07 11:30:14 -06:00
Tom Tromey
7956c96cae
warn about missing features
2015-05-06 13:59:24 -06:00
Tom Tromey
2065b4138a
update titles when changed
2015-05-05 10:25:45 -06:00
Tom Tromey
adc31aa077
refactor parameters
2015-05-05 10:23:59 -06:00
Tom Tromey
77e504ab4b
add window title formatting
2015-05-04 21:01:18 -06:00
Tom Tromey
2e78086eff
work around minor gdb bug
2015-05-04 19:45:32 -06:00
Tom Tromey
30fa4c65e8
document new parameters
2015-05-04 19:33:34 -06:00
Tom Tromey
8ee28d3cef
add "set gui font"
2015-05-03 17:54:28 -06:00
Tom Tromey
6ee0bec04a
add "set gui theme"
2015-05-03 17:21:10 -06:00
Tom Tromey
2aba648451
let user choose the theme
2015-05-03 10:07:36 -06:00