Changes between Version 1 and Version 2 of Ticket #9995, comment 26
- Timestamp:
- 2018-10-17T15:24:34+02:00 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #9995, comment 26
v1 v2 30 30 31 31 {{{ 32 #!java 32 33 public static Font getTitleFont() { 33 34 return new Font("SansSerif", Font.BOLD, getSizeDpiAdjusted(23));


