12 Commits

Author	SHA1	Message	Date
Tom Tromey	6b67ba36d2	remove items that are in the issues	2015-05-24 13:39:08 -06:00
Tom Tromey	d5005b26b8	update note	2015-05-04 21:50:10 -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	7ac3f01719	link to another bug	2015-04-29 09:18:02 -06:00
Tom Tromey	272efb37b9	remove one note	2013-11-16 20:27:50 -07:00
Tom Tromey	4ba3d52fb2	note a completed upstream bug	2013-11-14 16:20:41 -07:00
Tom Tromey	a1d11c2022	add some random notes	2013-11-11 20:01:37 -07:00
Tom Tromey	3acd551297	add another link to bugzilla	2013-06-14 13:28:00 -06:00
Tom Tromey	295c006fa0	filed some bugs for missing bits	2013-06-13 14:55:00 -06:00
Tom Tromey	ef78748b6b	note missing events	2013-06-13 07:37:01 -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