[Patches] High-DPI icons: Bookmarks-1
Original Reporter info from Mantis: FTurtle @FTurtle
Description:
Gutter bookmark icons.
Mantis conversion info:
-
Mantis ID: 32374
-
Build: 55788
-
Version: 1.9 (SVN)
-
Fixed in version: 1.9 (SVN)
-
Fixed in revision: r55797 (#0d37a7d5), r55798 (#2c0f3660)
-
Target version: 1.8