Commit Graph

2 Commits

Author SHA1 Message Date
martin
38d48bbdbd Two new toolbar commands for bookmarks. Issue #0033947 Patch by FTurtle
git-svn-id: trunk@58500 -
2018-07-13 12:23:16 +00:00
michl
1c7b43718a IDE: SourceEditor: High-DPI menu bookmark icons. Issue #32396. Patch by FTurtle
git-svn-id: trunk@55840 -
2017-09-11 19:31:33 +00:00