ProofScriptParser issueshttps://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues2017-06-05T23:34:37+02:00https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/14Make a Difference between selected goal node in the interpreter and UI2017-06-05T23:34:37+02:00tk5165Make a Difference between selected goal node in the interpreter and UIDuring debugging we have two selected goal nodes.
1. The selection in the UI made by the user.
2. The selected node in the interpreter.
* [ ] distinguish both in the `listGoalView` (e.g. by color or text marker)
* [ ] allow user to ...During debugging we have two selected goal nodes.
1. The selection in the UI made by the user.
2. The selected node in the interpreter.
* [ ] distinguish both in the `listGoalView` (e.g. by color or text marker)
* [ ] allow user to set the selected node in the interpreter
* [ ] via the context menu `Set this Node as selected by the Interpreter`
* [ ] Sync-Mode, automatically set the UI-selected node in the interpreter.Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/20Getting the CodeAreas right2017-06-06T22:06:42+02:00tk5165Getting the CodeAreas right* [ ] Cut/Copy/Paste
* [ ] Undo/Redo (script area)
* [x] get background color: try css property: `-rtfx-background-color`
* [ ] correct font size in coorperation with the line numbers
* [ ] check line numbers in Java vs. line number label
* [ ] Cut/Copy/Paste
* [ ] Undo/Redo (script area)
* [x] get background color: try css property: `-rtfx-background-color`
* [ ] correct font size in coorperation with the line numbers
* [ ] check line numbers in Java vs. line number label
Feature Complete 1.0https://git.scc.kit.edu/xt9634/ProofScriptParser/-/issues/28Implement: show postmortem state for Interpreted script2017-09-01T08:54:00+02:00sarah.grebingImplement: show postmortem state for Interpreted script1. For this highlight line in ScritpAreaTab needs to be generalized
2. Model for InspectionViewTab needs to be used1. For this highlight line in ScritpAreaTab needs to be generalized
2. Model for InspectionViewTab needs to be usedFeature Complete 1.0