Tom Tromey 3b39f0068b add "gui log" and friends ...

This adds the "gui log" command, which pops up a window you can use
for logging.

There are also new "gui" subcommands for sending output to a log
window: gui print, gui output, gui printf, and gui dprintf.  These
all work pretty much like their non-gui counterparts, except that the
output goes to the log window.

If you have more than one log window you can specify which one to use
with an "@", like  gui print @1 value

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

..

icons

move to pygobject and glade

2013-06-07 11:13:31 -06:00

__init__.py

add "info windows" and "delete window"

2013-06-12 10:30:12 -06:00

commands.py

add "gui log" and friends

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

dprintf.py

add "gui log" and friends

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

fix-signals.c

copyright tweak

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

invoker.py

move to pygobject and glade

2013-06-07 11:13:31 -06:00

logwindow.py

add "gui log" and friends

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

logwindow.xml

add "gui log" and friends

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

source.py

add "info windows" and "delete window"

2013-06-12 10:30:12 -06:00

sourcewindow.xml

Change source window title

2013-06-12 11:14:33 -06:00

startup.py

remove "currying" comment

2013-06-12 11:25:16 -06:00

toplevel.py

add "gui log" and friends

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