Tools menu remains active in STG simulation
Bug #1395797 reported by
Danil Sokolov
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Workcraft |
Fix Committed
|
Low
|
Danil Sokolov |
Bug Description
There is a bug in refreshTitle method of WainWindow class - the editor panel gets created every time:
final GraphEditorPanel editor = new GraphEditorPane
This should be changed to:
final GraphEditorPanel editor = getCurrentEditor();
Related branches
lp:~danilovesky/workcraft/trunk-bug-1395102
- Danil Sokolov: Approve
-
Diff: 779 lines (+282/-125)17 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java (+10/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java (+20/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/Environment.java (+10/-0)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuit.java (+24/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java (+18/-10)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+8/-4)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/STGGenerator.java (+135/-58)
WorkcraftCore/src/org/workcraft/Framework.java (+3/-2)
WorkcraftCore/src/org/workcraft/Info.java (+2/-2)
WorkcraftCore/src/org/workcraft/dom/DefaultMathNodeRemover.java (+35/-34)
WorkcraftCore/src/org/workcraft/gui/MainWindow.java (+8/-8)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/FileCellEditor.java (+1/-1)
WorkcraftCore/src/org/workcraft/plugins/serialisation/xml/FileDeserialiser.java (+2/-1)
WorkcraftCore/src/org/workcraft/plugins/serialisation/xml/FileSerialiser.java (+3/-1)
WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java (+1/-1)
build_distr_linux.sh (+1/-1)
build_distr_windows.sh (+1/-1)
To post a comment you must log in.