Entering minus and equal in text field zooms the graph editor
Bug #1391952 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Medium
|
Danil Sokolov |
Bug Description
To reproduce:
- Create a graph and add a textual comment
- Double-click the comment component
- Enter "---" or "====" in the textedit field
Observed behaviour:
- The graph zooms in or zooms out
Expected behaviour:
- Scale of the graph should be preserved.
Related branches
lp:~danilovesky/workcraft/trunk-stg-1391985
- Danil Sokolov: Approve
-
Diff: 950 lines (+348/-121)23 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java (+35/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java (+40/-3)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java (+55/-16)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionComponent.java (+42/-15)
CpogsPlugin/src/org/workcraft/plugins/cpog/optimisation/booleanvisitors/BooleanReplacer.java (+5/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatChainResultHandler.java (+2/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/MpsatSettings.java (+21/-17)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/CscResolutionTool.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyCscConflictResolution.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyDummyContraction.java (+1/-1)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifyUntoggle.java (+1/-1)
WorkcraftCore/src/org/workcraft/Info.java (+1/-1)
WorkcraftCore/src/org/workcraft/dom/DefaultMathNodeRemover.java (+53/-31)
WorkcraftCore/src/org/workcraft/dom/NodeContextTracker.java (+6/-8)
WorkcraftCore/src/org/workcraft/dom/hierarchy/NamespaceHelper.java (+4/-8)
WorkcraftCore/src/org/workcraft/dom/math/AbstractMathModel.java (+8/-4)
WorkcraftCore/src/org/workcraft/dom/references/HierarchicalUniqueNameReferenceManager.java (+1/-1)
WorkcraftCore/src/org/workcraft/gui/MainMenu.java (+2/-2)
WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanelKeyListener.java (+19/-0)
build_distr_linux.sh (+1/-1)
build_distr_windows.sh (+1/-1)
workcraft (+26/-3)
workcraft.bat (+22/-3)
To post a comment you must log in.