Allan Odgaard 5c1eb0ae3e Use command name as title for output windows ...

The command can set a custom title so this is only for commands that doesn’t do that.

2013-01-25 13:15:36 +01:00

..

parser.cc

Provide “More Info…” for unsatisfied command requirements

2012-12-16 00:01:13 +01:00

parser.h

Provide “More Info…” for unsatisfied command requirements

2012-12-16 00:01:13 +01:00

runner.cc

Close HTML output view when using exit_discard

2013-01-13 11:56:07 +01:00

runner.h

Use command name as title for output windows

2013-01-25 13:15:36 +01:00