Allan Odgaard 69453cd1fc Do not re-use busy HTML output views/windows ...

Additionally, we only re-use a window when the command is the same as what was last associated with the window. So doing a documentation lookup and then building the project will not re-use the (non-busy) documentation window for the build progress.

Closes #733

2014-03-09 10:01:52 +07:00

..

resources

Improve the “unknown encoding” sheet

2013-10-04 17:08:12 +02:00

src

Do not re-use busy HTML output views/windows

2014-03-09 10:01:52 +07:00

target

Remember open files per (project) folder

2014-02-07 19:53:28 +07:00