search

protegeproject / protege

Protege Desktop
http://protege.stanford.edu
Other
971 stars 229 forks source link

UI on Windows: Tabs have lost their boundaries? Release 5.6.1 #1114

Closed dlutz2 closed 1 year ago

dlutz2 commented 1 year ago

In the 5.6.1 release on Windows 10, the tabs seem to have lost the edges/boundaries that separate them from other tabs and the background. Same issue in all Look and Feels. Attached image: Protege Look and Feel - Release 5.5 (left), Release 5.6.1 (right) ProtegeGui

matthewhorridge commented 1 year ago

This is just a flatter look and feel, which is intentional. Whether it's to everyone's taste or not, or is a good idea or not is another matter.

dlutz2 commented 1 year ago

Ah, aesthetics. I would vote for a bit too flat. If I hadn't used Protege before and knew what tabs to expect, I would be unsure how many tabs there actually were.