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 --------------------------------------------- Спасение утопающих - дело рук самих утопающих --------------------------------------------- _______________________________________________ platform-dev mailing list platform-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev