trunk-menu-tools : Code : Workcraft

Get this branch:: bzr branch lp:~danilovesky/workcraft/trunk-menu-tools

Only Danil Sokolov can upload to this branch. If you are Danil Sokolov please log in for upload directions.

Branch merges

No branches dependent on this one.

Merged into lp:workcraft at revision 620

Danil Sokolov: Approve on 2015-06-26

Diff: 4777 lines (+998/-655)

125 files modified

CircuitPlugin/src/org/workcraft/plugins/circuit/Circuit.java (+2/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/CircuitComponent.java (+7/-3)
CircuitPlugin/src/org/workcraft/plugins/circuit/Contact.java (+4/-4)
CircuitPlugin/src/org/workcraft/plugins/circuit/Environment.java (+4/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/FunctionContact.java (+5/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualCircuitComponent.java (+11/-9)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContact.java (+6/-4)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualContactFormulaProperties.java (+2/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionComponent.java (+1/-1)
CircuitPlugin/src/org/workcraft/plugins/circuit/VisualFunctionContact.java (+3/-2)
CircuitPlugin/src/org/workcraft/plugins/circuit/references/CircuitReferenceManager.java (+6/-7)
CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/CircuitConnectionDeserializer.java (+0/-10)
CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/CircuitConnectionSerializer.java (+0/-5)
CircuitPlugin/src/org/workcraft/plugins/circuit/serialisation/FunctionSerialiser.java (+8/-5)
CircuitPlugin/src/org/workcraft/plugins/circuit/stg/CircuitStgUtils.java (+13/-9)
CircuitPlugin/src/org/workcraft/plugins/circuit/tasks/CheckCircuitTask.java (+8/-7)
CircuitPlugin/src/org/workcraft/plugins/circuit/tools/CheckCircuitTool.java (+1/-1)
CpogsPlugin/src/org/workcraft/plugins/cpog/Arc.java (+8/-11)
CpogsPlugin/src/org/workcraft/plugins/cpog/RhoClause.java (+4/-3)
CpogsPlugin/src/org/workcraft/plugins/cpog/Variable.java (+4/-3)
CpogsPlugin/src/org/workcraft/plugins/cpog/Vertex.java (+4/-3)
CpogsPlugin/src/org/workcraft/plugins/cpog/VisualArc.java (+17/-29)
CpogsPlugin/src/org/workcraft/plugins/cpog/VisualScenario.java (+7/-4)
CpogsPlugin/src/org/workcraft/plugins/cpog/VisualScenarioPage.java (+4/-2)
CpogsPlugin/src/org/workcraft/plugins/cpog/VisualVariable.java (+3/-2)
CpogsPlugin/src/org/workcraft/plugins/cpog/VisualVertex.java (+2/-1)
CpogsPlugin/src/org/workcraft/plugins/cpog/gui/ScencoConfigurationDialog.java (+5/-4)
CpogsPlugin/src/org/workcraft/plugins/cpog/serialisation/BooleanFunctionDeserialiser.java (+2/-1)
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoTask.java (+4/-5)
DfsPlugin/src/org/workcraft/plugins/dfs/BinaryRegister.java (+3/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/ControlConnection.java (+2/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/ControlRegister.java (+5/-3)
DfsPlugin/src/org/workcraft/plugins/dfs/CounterflowLogic.java (+8/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/CounterflowRegister.java (+4/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/Logic.java (+5/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/MathDelayNode.java (+4/-0)
DfsPlugin/src/org/workcraft/plugins/dfs/Register.java (+3/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualAbstractRegister.java (+4/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualBinaryRegister.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualControlConnection.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualControlRegister.java (+2/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualCounterflowLogic.java (+4/-4)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualCounterflowRegister.java (+2/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualDelayComponent.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualLogic.java (+2/-2)
DfsPlugin/src/org/workcraft/plugins/dfs/VisualRegister.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowDeadlockTool.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowHazardTool.java (+1/-1)
DfsPlugin/src/org/workcraft/plugins/dfs/tools/CheckDataflowTool.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/Event.java (+2/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/Fsm.java (+5/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/InitialStateSupervisor.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/State.java (+5/-2)
FsmPlugin/src/org/workcraft/plugins/fsm/SymbolConsistencySupervisor.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/VisualEvent.java (+5/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/VisualState.java (+2/-2)
FsmPlugin/src/org/workcraft/plugins/fsm/propertydescriptors/EventSymbolPropertyDescriptor.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/propertydescriptors/SymbolPropertyDescriptor.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/DeadlockCheckerTool.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/DeterminismCheckerTool.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/ReachabilityCheckerTool.java (+1/-1)
FsmPlugin/src/org/workcraft/plugins/fsm/tools/ReversibilityCheckerTool.java (+1/-1)
FstPlugin/src/org/workcraft/plugins/fst/Fst.java (+13/-8)
FstPlugin/src/org/workcraft/plugins/fst/Signal.java (+3/-1)
FstPlugin/src/org/workcraft/plugins/fst/SignalEvent.java (+3/-1)
FstPlugin/src/org/workcraft/plugins/fst/propertydescriptors/DirectionPropertyDescriptor.java (+1/-1)
FstPlugin/src/org/workcraft/plugins/fst/propertydescriptors/TypePropertyDescriptor.java (+2/-1)
FstPlugin/src/org/workcraft/plugins/fst/tools/FstSimulationTool.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/AbstractMpsatChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatConformationChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatCustomPropertyChecker.java (+1/-1)
MpsatPlugin/src/org/workcraft/plugins/mpsat/tools/MpsatSynthesis.java (+1/-1)
PetriNetPlugin/src/org/workcraft/plugins/petri/Place.java (+5/-2)
PetriNetPlugin/src/org/workcraft/plugins/petri/VisualPlace.java (+5/-4)
PetriNetPlugin/src/org/workcraft/plugins/petri/tools/PetriNetSimulationTool.java (+14/-8)
PetrifyPlugin/src/org/workcraft/plugins/petrify/tools/PetrifySynthesis.java (+2/-2)
PolicyNetPlugin/src/org/workcraft/plugins/policy/Bundle.java (+9/-4)
PolicyNetPlugin/src/org/workcraft/plugins/policy/VisualBundle.java (+3/-1)
PolicyNetPlugin/src/org/workcraft/plugins/policy/tools/CheckDeadlockTool.java (+1/-1)
SONPlugin/src/org/workcraft/plugins/son/gui/OutputArea.java (+1/-1)
STGPlugin/src/org/workcraft/plugins/stg/DummyTransition.java (+2/-1)
STGPlugin/src/org/workcraft/plugins/stg/SignalTransition.java (+7/-3)
STGPlugin/src/org/workcraft/plugins/stg/SignalTypeConsistencySupervisor.java (+4/-3)
STGPlugin/src/org/workcraft/plugins/stg/VisualImplicitPlaceArc.java (+4/-4)
STGPlugin/src/org/workcraft/plugins/stg/VisualSTG.java (+5/-2)
STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/DirectionPropertyDescriptor.java (+2/-1)
STGPlugin/src/org/workcraft/plugins/stg/propertydescriptors/TypePropertyDescriptor.java (+3/-1)
STGPlugin/src/org/workcraft/plugins/stg/tools/StgSimulationTool.java (+18/-12)
WorkcraftCore/src/org/workcraft/dom/hierarchy/NamespaceHelper.java (+3/-3)
WorkcraftCore/src/org/workcraft/dom/references/HierarchicalUniqueNameReferenceManager.java (+2/-2)
WorkcraftCore/src/org/workcraft/dom/visual/FontHelper.java (+13/-0)
WorkcraftCore/src/org/workcraft/dom/visual/VisualComponent.java (+22/-14)
WorkcraftCore/src/org/workcraft/dom/visual/VisualGroup.java (+2/-4)
WorkcraftCore/src/org/workcraft/dom/visual/VisualPage.java (+5/-2)
WorkcraftCore/src/org/workcraft/dom/visual/connections/VisualConnection.java (+20/-13)
WorkcraftCore/src/org/workcraft/gui/DockableWindow.java (+12/-4)
WorkcraftCore/src/org/workcraft/gui/DockableWindowContentPanel.java (+5/-1)
WorkcraftCore/src/org/workcraft/gui/LookAndFeelHelper.java (+38/-27)
WorkcraftCore/src/org/workcraft/gui/MainMenu.java (+117/-115)
WorkcraftCore/src/org/workcraft/gui/MainWindow.java (+60/-46)
WorkcraftCore/src/org/workcraft/gui/MainWindowActions.java (+16/-4)
WorkcraftCore/src/org/workcraft/gui/PropertyEditorWindow.java (+5/-5)
WorkcraftCore/src/org/workcraft/gui/SilverOceanTheme.java (+132/-0)
WorkcraftCore/src/org/workcraft/gui/graph/GraphEditorPanel.java (+15/-14)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/BooleanCellEditor.java (+12/-11)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/ChoiceCellEditor.java (+4/-1)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/ColorCellEditor.java (+4/-4)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/ColorCellRenderer.java (+11/-27)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/DefaultCellRenderer.java (+6/-3)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/FileCellEditor.java (+7/-6)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/GenericCellEditor.java (+4/-2)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/ModelProperties.java (+13/-9)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/NamePropertyDescriptor.java (+4/-2)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/PropertyEditorTable.java (+60/-23)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/PropertyEditorTableModel.java (+32/-27)
WorkcraftCore/src/org/workcraft/gui/propertyeditor/StringProperty.java (+1/-1)
WorkcraftCore/src/org/workcraft/gui/trees/TreeWindow.java (+2/-1)
WorkcraftCore/src/org/workcraft/gui/workspace/WorkspacePopupProvider.java (+14/-17)
WorkcraftCore/src/org/workcraft/serialisation/xml/XMLDeserialiserState.java (+1/-1)
WorkcraftCore/src/org/workcraft/util/Tools.java (+2/-2)
WorkcraftCore/src/org/workcraft/workspace/WorkspaceEntry.java (+2/-2)
XmasPlugin/src/org/workcraft/plugins/xmas/components/QueueComponent.java (+3/-2)
XmasPlugin/src/org/workcraft/plugins/xmas/components/VisualQueueComponent.java (+4/-2)
XmasPlugin/src/org/workcraft/plugins/xmas/components/VisualSourceComponent.java (+3/-1)
XmasPlugin/src/org/workcraft/plugins/xmas/components/VisualXmasContact.java (+3/-1)

Related bugs

Link a bug report

Related blueprints

Promote section of Tools menu to the main menu bar (Medium)

Branch information

Owner:: Danil Sokolov

Project:: Workcraft

Status:: Merged

Recent revisions

626. By Danil Sokolov on 2015-06-26: Tool sections that start with "!" are promoted to the main menu.
625. By Danil Sokolov on 2015-06-26: Empty border in DockableWindow title.
624. By Danil Sokolov on 2015-06-26: Proper refresh of the PropertyEditor title.
623. By Danil Sokolov on 2015-06-26: Some more strings are moved into constants.
622. By Danil Sokolov on 2015-06-26: Adjustment of the PropertyEditor and simulation tables to the new look and feel.
621. By Danil Sokolov on 2015-06-25: Updated Look and Feel with SilverOcean theme. Corrections to the PropertyEditor rendering and editing.
620. By Danil Sokolov on 2015-06-23: Constants for property names in Fsm, Fst, Stg, PetriNet, and Circuit classes.
619. By Danil Sokolov on 2015-06-03: Merge proposal for bugs #1461627, 1461498 and 1461497 approved.
618. By Danil Sokolov on 2015-05-27: Updated screenshots in DFS practical and typos correction.
617. By Danil Sokolov on 2015-05-27: Merge proposal for bug #1459158 approved.

»

Branch metadata

Branch format:: Branch format 6

Repository format:: Bazaar pack repository format 1 with rich root (needs bzr 1.0)

Workcraft

lp:~danilovesky/workcraft/trunk-menu-tools

Branch merges

Related source package recipes

Related snap packages

Related bugs

Related blueprints

Branch information

Recent revisions

Branch metadata

Nearby

Subscribers