[platform-dev] Pimping the status line

[Andrey Loskutov <loskutov@xxxxxx>]

Hi all,

could you please check if this would be OK to merge?

https://javaclipse.blogspot.com/2019/07/pimping-status-line.html

https://bugs.eclipse.org/bugs/show_bug.cgi?id=549604

--
Kind regards,
Andrey Loskutov

https://www.eclipse.org/user/aloskutov
---------------------------------------------
Спасение утопающих - дело рук самих утопающих
---------------------------------------------