Changing font size problem
Original Reporter info from Mantis: indianajones
-
Reporter name:
Original Reporter info from Mantis: indianajones
- Reporter name:
Description:
Reproducing the error.
- Environment / Options
- Under the Display option, change the Default editor font size
- Changing font size effecting the "Editor font height" which is different than the font size.
Additional information:
Ubuntu 10.04
GTK2 2.30.2
FPC 2.4.0 - Lazarus 0.9.29 SVN 27034
Mantis conversion info:
- Mantis ID: 17694
- Version: 0.9.29 (SVN)
- Fixed in version: 0.9.31 (SVN)
- Fixed in revision: 32150 (#d0d565f7)
- Monitored by: » zaher (Zaher Dirkey)
- Target version: 0.99.0
- LazTarget: 1.0