Patch name : [ Patch #1072 ] Dynamic line number column width setting
Refined & Fixed:
- Adjusted patch 1066 to check the configuration file for whether or not to use dynamic line width.
- Adjusted patch 1066 to use wxWindow::GetExtent to properly account for text size, in both the dynamic
and fixed cases.
- Added check box option to Editor->General Settings->Other Options
Link to the forum where it can be discussed :
Original Topic.
Link to the patch at BerliOS :
http://developer.berlios.de/patch/?func=detailpatch&patch_id=1072&group_id=5358Is applied to the core code : No.
EDIT: This patch will be updated to more the check box to the "Gutters, margins, etc.." pane and to incorporate sethjackson's patch which allows you to manually set it. I will change the units from pixels, to actual numbers though.