Skip to content

I20170523-2000

@psuzzi psuzzi tagged this 22 May 17:10
The proposed change fixes the bug by refreshing the menu label when the
status bar changes its visibility. The change works also when there are
multiple workbench windows.

Change-Id: If00b2ba2c3e7b23672bdfb80dd4459b8debcafb6
Signed-off-by: Patrik Suzzi <psuzzi@gmail.com>
Assets 2
Loading