Karl Eilebrecht issues

Repositories
Issues
Comments

Results 1 issues of


                                            Karl Eilebrecht

Problem with Mars.2 not showing workspace label

After using your awesome plugin for a long time with Eclipse Mars.1, I upgraded (Eclipse-internal-update) to Mars.2. Since this time the tiny workspace label does no longer stay(!) on top...