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
0393c8c3
Commit
0393c8c3
authored
Oct 23, 2018
by
Lulu Luong
Browse files
#55
parent
ba0e9be2
Pipeline
#30582
passed with stages
in 56 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/VariableAssignmentWindow.java
View file @
0393c8c3
...
...
@@ -55,6 +55,11 @@ public class VariableAssignmentWindow extends TabPane {
TableColumn
decl_typeCol
=
new
TableColumn
(
"Type"
);
TableColumn
decl_valCol
=
new
TableColumn
(
"Value"
);
//Set Colums width proportional to windows with
decl_varCol
.
prefWidthProperty
().
bind
(
declarative_tableView
.
widthProperty
().
divide
(
3
));
decl_typeCol
.
prefWidthProperty
().
bind
(
declarative_tableView
.
widthProperty
().
divide
(
3
));
decl_valCol
.
prefWidthProperty
().
bind
(
declarative_tableView
.
widthProperty
().
divide
(
3
));
decl_varCol
.
setCellValueFactory
(
new
PropertyValueFactory
<
VariableModel
,
String
>(
"varname"
)
);
...
...
@@ -73,6 +78,10 @@ public class VariableAssignmentWindow extends TabPane {
TableColumn
spec_typeCol
=
new
TableColumn
(
"Type"
);
TableColumn
spec_valCol
=
new
TableColumn
(
"Value"
);
//Set Colums width proportional to windows with
spec_varCol
.
prefWidthProperty
().
bind
(
special_tableView
.
widthProperty
().
divide
(
3
));
spec_typeCol
.
prefWidthProperty
().
bind
(
special_tableView
.
widthProperty
().
divide
(
3
));
spec_valCol
.
prefWidthProperty
().
bind
(
special_tableView
.
widthProperty
().
divide
(
3
));
spec_varCol
.
setCellValueFactory
(
new
PropertyValueFactory
<
VariableModel
,
String
>(
"varname"
)
...
...
@@ -84,7 +93,6 @@ public class VariableAssignmentWindow extends TabPane {
new
PropertyValueFactory
<
VariableModel
,
String
>(
"varval"
)
);
special_tableView
.
setItems
(
specialModel
);
special_tableView
.
getColumns
().
addAll
(
spec_varCol
,
spec_typeCol
,
spec_valCol
);
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/VariableAssignmentWindow.fxml
View file @
0393c8c3
...
...
@@ -9,7 +9,7 @@
prefHeight=
"400.0"
prefWidth=
"600.0"
>
<tabs>
<Tab
text=
"Variables"
>
<TableView
fx:id=
"declarative_tableView"
></TableView>
<TableView
fx:id=
"declarative_tableView"
></TableView>
</Tab>
<Tab
text=
"Special Variables"
>
<TableView
fx:id=
"special_tableView"
></TableView>
...
...
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