Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
sarah.grebing
ProofScriptParser
Commits
278609bd
Commit
278609bd
authored
Oct 29, 2018
by
Lulu Luong
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
#55
parent
0393c8c3
Pipeline
#31014
passed with stages
in 59 seconds
Changes
3
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
19 additions
and
5 deletions
+19
-5
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/VariableAssignmentWindow.java
...i/formal/psdbg/gui/controls/VariableAssignmentWindow.java
+8
-3
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/VariableAssignmentWindow.fxml
...i/formal/psdbg/gui/controls/VariableAssignmentWindow.fxml
+2
-2
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/debugger-ui.less
...n/resources/edu/kit/iti/formal/psdbg/gui/debugger-ui.less
+9
-0
No files found.
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/VariableAssignmentWindow.java
View file @
278609bd
...
...
@@ -20,6 +20,8 @@ import javafx.scene.layout.BorderPane;
import
lombok.Getter
;
import
lombok.Setter
;
import
java.util.Collection
;
import
java.util.Collections
;
import
java.util.Map
;
...
...
@@ -30,8 +32,6 @@ public class VariableAssignmentWindow extends TabPane {
@FXML
TableView
special_tableView
;
@Setter
private
InspectionModel
model
;
/** Non special Variables that don't start with __ **/
private
ObservableList
<
VariableModel
>
declarativeModel
;
...
...
@@ -96,7 +96,12 @@ public class VariableAssignmentWindow extends TabPane {
special_tableView
.
setItems
(
specialModel
);
special_tableView
.
getColumns
().
addAll
(
spec_varCol
,
spec_typeCol
,
spec_valCol
);
}
// TODO: set css for TableView
//declarative_tableView.getStyleClass().add("table_view");
}
/**
* Combine all previous Variableassignments and return it
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/VariableAssignmentWindow.fxml
View file @
278609bd
...
...
@@ -8,10 +8,10 @@
type=
"edu.kit.iti.formal.psdbg.gui.controls.VariableAssignmentWindow"
prefHeight=
"400.0"
prefWidth=
"600.0"
>
<tabs>
<Tab
text=
"Variables"
>
<Tab
text=
"
Script
Variables"
>
<TableView
fx:id=
"declarative_tableView"
></TableView>
</Tab>
<Tab
text=
"
Specia
l Variables"
>
<Tab
text=
"
KeY Contro
l Variables"
>
<TableView
fx:id=
"special_tableView"
></TableView>
</Tab>
</tabs>
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/debugger-ui.less
View file @
278609bd
...
...
@@ -412,4 +412,13 @@
-fx-background-color: antiquewhite;
-fx-stroke: navy;
}
/**********************************************************************************************************************/
.table-view {
.table-row-cell:empty {
-fx-background-color: white;
}
.table-row-cell:empty .table-cell {
-fx-border-width: 0px;
}
}
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a 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