9 Commits

Author	SHA1	Message	Date
Tom Tromey	77e504ab4b	add window title formatting	2015-05-04 21:01:18 -06:00
Tom Tromey	d951a7447b	put [Default] in default log window title	2015-05-03 18:15:11 -06:00
Tom Tromey	c52ea9f922	fix log window defaulting	2015-05-03 18:05:54 -06:00
Tom Tromey	8ee28d3cef	add "set gui font"	2015-05-03 17:54:28 -06:00
Tom Tromey	34f59b68fb	set button sensitivity based on running state	2015-05-01 14:29:33 -06:00
Tom Tromey	99cbf92868	use monospace, not Fixed	2015-04-30 12:40:02 -06:00
Tom Tromey	2246853368	try to use monospace font	2013-11-16 20:40:53 -07:00
Tom Tromey	3e79929585	add gui.startup.create_builder ... this pulls some repeated code out into a separate function	2013-06-14 15:01:02 -06:00
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