[pywin32-bugs] [ pywin32-Bugs-2560351 ] Can't change Folding Margin width
OLD project page for the Python extensions for Windows
Brought to you by:
mhammond
From: SourceForge.net <no...@so...> - 2009-02-03 10:53:13
|
Bugs item #2560351, was opened at 2009-02-03 11:53 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=551954&aid=2560351&group_id=78018 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: pythonwin Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: MizardX (mizardx) Assigned to: Nobody/Anonymous (nobody) Summary: Can't change Folding Margin width Initial Comment: Changing the value of "Folding" under "Margin Widths" on the "Editor"-tab in the "Pythonwin Options"-dialog have no effect on the editor. I'm attaching a patch-file which fixes this. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=551954&aid=2560351&group_id=78018 |