Tom Tromey 77e504ab4b add window title formatting

2015-05-04 21:01:18 -06:00

..

icons

add application icon

2015-05-01 22:21:32 -06:00

__init__.py

let user choose the theme

2015-05-03 10:07:36 -06:00

commands.py

put window number and source basename in title bar

2015-04-30 13:34:40 -06:00

display.py

add window title formatting

2015-05-04 21:01:18 -06:00

dprintf.py

add thread enforcement decorators

2013-11-03 19:48:27 -07:00

events.py

add frame support

2013-06-17 20:30:36 -06:00

fix-signals.c

copyright tweak

2013-06-06 20:28:09 -06:00

framecache.py

use before_prompt hook to notify the frame_changed event

2015-04-29 11:16:35 -06:00

gdbutil.py

add window title formatting

2015-05-04 21:01:18 -06:00

invoker.py

add thread enforcement decorators

2013-11-03 19:48:27 -07:00

logwindow.py

add window title formatting

2015-05-04 21:01:18 -06:00

logwindow.xml

add "gui log" and friends

2013-06-12 12:51:43 -06:00

params.py

add window title formatting

2015-05-04 21:01:18 -06:00

source.py

add window title formatting

2015-05-04 21:01:18 -06:00

sourcewindow.xml

add a "clicked" handler for "next" button

2015-04-29 11:25:32 -06:00

startup.py

add application icon

2015-05-01 22:21:32 -06:00

storage.py

add "set gui theme"

2015-05-03 17:21:10 -06:00

toplevel.py

add window title formatting

2015-05-04 21:01:18 -06:00

updatewindow.py

add window title formatting

2015-05-04 21:01:18 -06:00