[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-03 11:06:54
|
Bugs item #2560391, was opened at 2009-02-03 12:06 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=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: Open Resolution: None 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. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=551954&aid=2560391&group_id=78018 |