Thomas Ritter

Results 4 issues of Thomas Ritter

Yesterday, I had an interesting call with a user of our source based editor. The user uses Eclipse on a large monitor with the Eclipse dark theme. He showed me...

enhancement

Currently, I am performing manual tests for https://github.com/eclipse-platform/eclipse.platform.ui/pull/1071 @shubhamWaghmare-sap & @praveen-skp please have a look at this. The issue is that the settings do not survive a Eclipse restart if...

bug

### Problem ![IMG_8418](https://github.com/eclipse-platform/eclipse.platform.ui/assets/41768/e61d1866-c6e7-4dcf-8f67-7f028e920034) We did a brainstorming session on UX improvements during the 2023 Eclipse Hackathon in Walldorf. One of the requests was to stop the navigation buttons from jumping...

enhancement

### Known issues First version has been submitted. Here the list of already known issues we will work on. - [x] Headers do not react to hovering events anymore. Add...

enhancement