← Back to branch summary

~libowen96/workcraft/trunk-son-entire

~libowen96/workcraft/trunk-son-entire

Viewing all changes in revision 721.

Committer: Danil Sokolov
Date: 2016-01-22 23:52:54 UTC
Revision ID: danilovesky@gmail.com-20160122235254-ebj4un4tqb2scb0y

Persistent log highlighting independent of text selection.

files modified:
CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisResultHandler.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatCombinedChainResultHandler.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/SynthesisResultHandler.java

WorkcraftCore/src/org/workcraft/gui/OutputWindow.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

Show diffs side-by-side

added added

removed removed

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/PGMinerTask.java

CpogsPlugin/src/org/workcraft/plugins/cpog/tasks/ScencoExternalToolTask.java

MpsatSynthesisPlugin/src/org/workcraft/plugins/mpsat/MpsatSynthesisResultHandler.java

MpsatVerificationPlugin/src/org/workcraft/plugins/mpsat/MpsatCombinedChainResultHandler.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/DrawAstgTask.java

PetrifyExtraPlugin/src/org/workcraft/plugins/petrify/tasks/WriteSgTask.java

PetrifyPlugin/src/org/workcraft/plugins/petrify/SynthesisResultHandler.java

WorkcraftCore/src/org/workcraft/gui/OutputWindow.java

WorkcraftCore/src/org/workcraft/plugins/layout/DotLayoutTool.java

WorkcraftCore/src/org/workcraft/plugins/shared/tasks/ExternalProcessTask.java

Older »