[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-08 20:13:26
|
Bugs item #2560351, was opened at 2009-02-03 05:53 Message generated for change (Comment added) made by rupole 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: Closed >Resolution: Fixed 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. ---------------------------------------------------------------------- >Comment By: Roger Upole (rupole) Date: 2009-02-08 15:13 Message: Many thanks, patch applied in r 1.16. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=551954&aid=2560351&group_id=78018 |