lp://staging/~danilovesky/workcraft/trunk-bug-1287735
Created by
Danil Sokolov
and last modified
- Get this branch:
- bzr branch lp://staging/~danilovesky/workcraft/trunk-bug-1287735
Only
Danil Sokolov
can upload to this branch. If you are
Danil Sokolov
please log in for upload directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Danil Sokolov: Approve
-
Diff: 1336 lines (+346/-420)13 files modifiedCircuitPlugin/src/org/workcraft/plugins/circuit/CircuitSettings.java (+74/-87)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java (+11/-11)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitConnection.java (+34/-19)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java (+56/-85)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionComponent.java (+3/-3)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionContact.java (+13/-22)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CircuitSimulationTool.java (+66/-107)
CpogsPlugin/src/org/workcraft/plugins/cpog/CpogSettings.java (+40/-27)
CpogsPlugin/src/org/workcraft/plugins/cpog/RenderedFormula.java (+0/-8)
WorkcraftCore/src/org/workcraft/dom/visual/connections/VisualConnection.java (+1/-2)
WorkcraftCore/src/org/workcraft/gui/MainWindow.java (+1/-2)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/SettingsEditorDialog.java (+15/-22)
WorkcraftCore/src/org/workcraft/plugins/shared/CommonEditorSettings.java (+32/-25)
Related bugs
Related blueprints
Branch information
Recent revisions
- 503. By Danil Sokolov
-
The "Show contacts" global option is respected now by the Digital Circuit model. The "Show arrow" global option is removed the same effect can be achieved by setting "Arrow size" to none on all connections.
- 501. By Danil Sokolov
-
Merge of blueprint circuit-env-stg to support verification of circuits under their environment STGs (conformation, deadlocks and hazards).
- 500. By Danil Sokolov
-
Merge proposal for blueprint stg-transform-tools is approved (with minor correction to remove the debug output).
Branch metadata
- Branch format:
- Branch format 6
- Repository format:
- Bazaar pack repository format 1 with rich root (needs bzr 1.0)