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
3d79d1fe
Commit
3d79d1fe
authored
Dec 03, 2017
by
Alexander Weigl
Browse files
fix dynamical taclets + richtextfx new version
parent
4dbfb023
Pipeline
#15833
passed with stages
in 9 minutes and 37 seconds
Changes
8
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
keydeps/install_weigl.cmd
0 → 100644
View file @
3d79d1fe
set
L
=
lib
/components
/
set
PATH
=
%PATH%
;
C
:\Users\weigl\Downloads\apache
-maven
-
3
.5.2\bin
call
mvn
install
:install
-file -Dfile
=
%L%
/key
.core.jar
-DgroupId
=
key
-project-psdbg -DartifactId
=
key
.core
-Dversion
=
2
.7
-SNAPSHOT -Dpackaging
=
jar
call
mvn
install
:install
-file -Dfile
=
%L%
/key
.ui.jar
-DgroupId
=
key
-project-psdbg -DartifactId
=
key
.ui
-Dversion
=
2
.7
-SNAPSHOT -Dpackaging
=
jar
call
mvn
install
:install
-file -Dfile
=
%L%
/key
.util.jar
-DgroupId
=
key
-project-psdbg -DartifactId
=
key
.util
-Dversion
=
2
.7
-SNAPSHOT -Dpackaging
=
jar
call
mvn
install
:install
-file -Dfile
=
%L%
/../libs/recoderKey.jar
-DgroupId
=
key
-project-psdbg -DartifactId
=
recoder
-Dversion
=
2
.7
-Dpackaging
=
jar
\ No newline at end of file
keydeps/lib/components/key.core.jar
View file @
3d79d1fe
No preview for this file type
keydeps/lib/components/key.ui.jar
View file @
3d79d1fe
No preview for this file type
keydeps/lib/components/key.util.jar
View file @
3d79d1fe
No preview for this file type
lang/src/main/java/edu/kit/iti/formal/psdbg/parser/ast/Position.java
View file @
3d79d1fe
...
...
@@ -30,9 +30,9 @@ import org.antlr.v4.runtime.Token;
/**
* @author Alexander Weigl
*/
@Data
@RequiredArgsConstructor
public
class
Position
implements
Copyable
<
Position
>
{
@NonNull
final
int
lineNumber
;
@NonNull
final
int
charInLine
;
@Data
@Value
@RequiredArgsConstructor
public
class
Position
implements
Copyable
<
Position
>
{
private
final
int
lineNumber
;
private
final
int
charInLine
;
public
Position
()
{
this
(-
1
,
-
1
);
...
...
ui/pom.xml
View file @
3d79d1fe
...
...
@@ -32,7 +32,7 @@
<dependency>
<groupId>
org.fxmisc.richtext
</groupId>
<artifactId>
richtextfx
</artifactId>
<version>
0.
7-M5
</version>
<version>
0.
8.1
</version>
</dependency>
<!-- https://mvnrepository.com/artifact/org.controlsfx/controlsfx -->
...
...
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/ScriptArea.java
View file @
3d79d1fe
...
...
@@ -43,7 +43,6 @@ import org.controlsfx.control.PopOver;
import
org.fxmisc.richtext.CharacterHit
;
import
org.fxmisc.richtext.CodeArea
;
import
org.fxmisc.richtext.MouseOverTextEvent
;
import
org.fxmisc.richtext.model.NavigationActions
;
import
org.fxmisc.richtext.model.StyleSpans
;
import
org.reactfx.collection.LiveList
;
import
org.reactfx.value.Val
;
...
...
@@ -149,7 +148,7 @@ public class ScriptArea extends CodeArea {
int
characterPosition
=
hit
.
getInsertionIndex
();
//System.out.println("characterPosition = " + characterPosition);
// move the caret to that character's position
this
.
moveTo
(
characterPosition
,
NavigationActions
.
SelectionPolicy
.
CLEAR
);
//
this.moveTo(characterPosition, NavigationActions.SelectionPolicy.CLEAR);
});
mainScript
.
addListener
((
observable
)
->
updateMainScriptMarker
());
...
...
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/InspectionView.fxml
View file @
3d79d1fe
...
...
@@ -24,7 +24,7 @@
<VBox>
<!--<BreadCrumbBar fx:id="frames"/>-->
<HBox
alignment=
"BASELINE_LEFT"
>
<Label
labelFor=
"$frames"
text=
"Contexts:"
/>
<Label
labelFor=
"$frames"
text=
"Contexts:"
/>
<ComboBox
fx:id=
"frames"
HBox.hgrow=
"ALWAYS"
/>
</HBox>
<ListView
fx:id=
"goalView"
/>
...
...
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