This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Ton Roosendaal 093f95afaa Bug fix #34868 ...

Pulldown menus with long shortcut text labels got clipped badly occasionally.
Made the offset follow DPI better.

2013-04-18 08:51:07 +00:00

13 KiB

Raw Blame History

View Raw