tree 3c2911a5fc09e16376d1a01f9acdca5133cc8a7c
parent f17dee82bcbd41cf701a6feab0a052b1fb4b1143
author Andrey Loskutov <loskutov@gmx.de> 1549294100 +0100
committer Andrey Loskutov <loskutov@gmx.de> 1549398081 -0500

Bug 532557 - BadLocationException below ConsoleDocument.getLineOfOffset

Small workaround to avoid setting console text at same time console is
shown.

Change-Id: Icf1215219cf713112ffd94192456b2b978a85817
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>