[pywin32-bugs] [ pywin32-Bugs-2560391 ] Fold margin default values inconsistent
OLD project page for the Python extensions for Windows
Brought to you by:
mhammond
From: SourceForge.net <no...@so...> - 2009-02-08 20:22:02
|
Bugs item #2560391, was opened at 2009-02-03 06:06 Message generated for change (Comment added) made by rupole You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=551954&aid=2560391&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: Fold margin default values inconsistent Initial Comment: When you first start the editor the margin is small. If you go to options and change anything in the "Editor"-tab, the margin suddenly gets bigger. This is due to different default values in pywin/framework/editor/color/coloreditor.py and pywin/framework/editor/configui.py I'm attaching a patch which fixes this. ---------------------------------------------------------------------- >Comment By: Roger Upole (rupole) Date: 2009-02-08 15:22 Message: Thanks again, fixed in r1.9. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=551954&aid=2560391&group_id=78018 |