Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Commits
6cf2c028
Commit
6cf2c028
authored
Jan 06, 2018
by
LULUDBR\Lulu
Browse files
SequentMatcherUI Matchingsview fit
parent
f1d17156
Pipeline
#16376
failed with stages
in 1 minute and 34 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentMatcher.java
View file @
6cf2c028
...
...
@@ -44,14 +44,13 @@ public class SequentMatcher extends BorderPane {
private
ListView
<
Map
<
String
,
MatchPath
>>
matchingsView
;
@FXML
private
Label
nomatchings
;
private
Label
nomatchings
;
//only shown when no matchings found, else always hidden
private
Map
<
PosInOccurrence
,
Range
>
cursorPosition
=
new
HashMap
<>();
public
SequentMatcher
()
{
Utils
.
createWithFXML
(
this
);
getStyleClass
().
add
(
"sequent-view"
);
//TODO
selectedGoalNodeToShow
.
addListener
((
observable
,
oldValue
,
newValue
)
->
{
sequentView
.
setGoal
(
newValue
.
getData
().
getGoal
());
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/SequentMatcher.fxml
View file @
6cf2c028
...
...
@@ -52,7 +52,7 @@
<Label
text=
"Matches"
/>
<Pane>
<Label
fx:id =
"nomatchings"
text=
"No matchings found"
visible=
"false"
/>
<ListView
fx:id=
"matchingsView"
prefWidth=
"
65
0"
/>
<ListView
fx:id=
"matchingsView"
prefWidth=
"
80
0"
/>
</Pane>
</VBox>
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment