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
6b3508f8
Commit
6b3508f8
authored
Jan 21, 2018
by
Alexander Weigl
Browse files
about dialog finished
parent
777e59b3
Changes
6
Hide whitespace changes
Inline
Side-by-side
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java
View file @
6b3508f8
...
...
@@ -459,8 +459,8 @@ public class DebuggerMain implements Initializable {
public
void
showAbout
(
ActionEvent
event
)
{
try
{
BorderPane
content
=
FXMLLoader
.
load
(
AboutDialog
.
class
.
getResource
(
"AboutDialog.fxml"
));
Dialog
dialog
=
new
Dialog
();
dialog
.
setTitle
(
"About PSDBG"
);
DialogPane
pane
=
new
DialogPane
();
pane
.
setContent
(
content
);
pane
.
getButtonTypes
().
add
(
ButtonType
.
OK
);
...
...
ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/AboutDialog.java
View file @
6b3508f8
...
...
@@ -21,50 +21,40 @@ public class AboutDialog implements Initializable {
private
StringProperty
programName
=
new
SimpleStringProperty
();
private
SimpleStringProperty
version
=
new
SimpleStringProperty
();
private
SimpleStringProperty
subtitle
=
new
SimpleStringProperty
();
private
SimpleStringProperty
license
=
new
SimpleStringProperty
();
private
SimpleStringProperty
keyLicense
=
new
SimpleStringProperty
();
private
SimpleStringProperty
thridPartyLicense
=
new
SimpleStringProperty
();
private
SimpleStringProperty
aboutText
=
new
SimpleStringProperty
();
@FXML
private
WebView
webView
;
@Override
public
void
initialize
(
URL
location
,
ResourceBundle
resources
)
{
setProgramName
(
ProofScriptDebugger
.
NAME
);
setVersion
(
ProofScriptDebugger
.
VERSION
);
setProgramName
(
ProofScriptDebugger
.
NAME
+
"-"
+
ProofScriptDebugger
.
VERSION
);
setSubtitle
(
"KeY Version: "
+
ProofScriptDebugger
.
KEY_VERSION
);
try
{
InputStream
is
=
getClass
().
getResourceAsStream
(
"/about.html"
);
InputStream
is
=
getClass
().
getResourceAsStream
(
"/about.txt"
);
if
(
is
!=
null
)
webView
.
getEngine
().
loadConten
t
(
IOUtils
.
toString
(
is
,
"utf-8"
));
aboutText
.
se
t
(
IOUtils
.
toString
(
is
,
"utf-8"
));
}
catch
(
IOException
e
)
{
e
.
printStackTrace
();
}
try
{
InputStream
is
=
getClass
().
getResourceAsStream
(
"/
LICENSE
"
);
InputStream
is
=
getClass
().
getResourceAsStream
(
"/
THIRD-PARTY.txt
"
);
if
(
is
!=
null
)
setLicense
(
IOUtils
.
toString
(
is
,
"utf-8"
));
set
ThridParty
License
(
IOUtils
.
toString
(
is
,
"utf-8"
));
}
catch
(
IOException
e
)
{
e
.
printStackTrace
();
}
try
{
InputStream
is
=
getClass
().
getResourceAsStream
(
"/
THIRD-PARTY.txt
"
);
InputStream
is
=
getClass
().
getResourceAsStream
(
"/
LICENSE
"
);
if
(
is
!=
null
)
set
ThridParty
License
(
IOUtils
.
toString
(
is
,
"utf-8"
));
setLicense
(
IOUtils
.
toString
(
is
,
"utf-8"
));
}
catch
(
IOException
e
)
{
e
.
printStackTrace
();
}
}
public
String
getProgramName
()
{
return
programName
.
get
();
}
...
...
@@ -141,11 +131,11 @@ public class AboutDialog implements Initializable {
return
aboutText
.
get
();
}
public
SimpleStringProperty
aboutTextProperty
()
{
return
aboutText
;
}
public
void
setAboutText
(
String
aboutText
)
{
this
.
aboutText
.
set
(
aboutText
);
}
public
SimpleStringProperty
aboutTextProperty
()
{
return
aboutText
;
}
}
ui/src/main/resources/THIRD-PARTY.txt
View file @
6b3508f8
...
...
@@ -21,10 +21,10 @@ Lists of 46 third-party dependencies.
(gpl_v3) rt-key (edu.kit.iti.formal.psdbg:rt-key:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/rt-key)
(GNU LGPL 2.1) tuProlog (it.unibo.alice.tuprolog:tuprolog:3.2.1 - http://tuprolog.unibo.it)
(Eclipse Public License 1.0) JUnit (junit:junit:4.12 - http://junit.org)
(
Unknown license
) key.core (key-project-psdbg:key.core:2.7-SNAPSHOT - no url defined)
(
Unknown license
) key.ui (key-project-psdbg:key.ui:2.7-SNAPSHOT - no url defined)
(
Unknown license
) key.util (key-project-psdbg:key.util:2.7-SNAPSHOT - no url defined)
(
Unknown license
) recoder (key-project-psdbg:recoder:2.7 - no url defined)
(
gpl_v2+
) key.core (key-project-psdbg:key.core:2.7-SNAPSHOT - no url defined)
(
gpl_v2+
) key.ui (key-project-psdbg:key.ui:2.7-SNAPSHOT - no url defined)
(
gpl_v2+
) key.util (key-project-psdbg:key.util:2.7-SNAPSHOT - no url defined)
(
gpl_v2+
) recoder (key-project-psdbg:recoder:2.7 - no url defined)
(The BSD License) JavaCC (net.java.dev.javacc:javacc:4.0 - http://javacc.dev.java.net/)
(BSD 3-Clause "New" or "Revised" License (BSD-3-Clause)) abego TreeLayout Core (org.abego.treelayout:org.abego.treelayout.core:1.0.3 - http://treelayout.sourceforge.net)
(BSD licence) StringTemplate 4 (org.antlr:ST4:4.0.8 - http://www.stringtemplate.org)
...
...
ui/src/main/resources/about.html
View file @
6b3508f8
...
...
@@ -8,10 +8,12 @@
<h3>
Licensed under GPLv3
</h3>
<a
href=
"https://formal.iti.kit.edu"
target=
"_blank"
>
Homepage of PSDBG
</a>
<h3>
Developed by:
</h3>
<ul>
<li>
Sarah Grebing
</li>
<li>
Alexander Weigl
</li>
<li>
<a
href=
"https://formal.iti.kit.edu/~grebing"
target=
"_blank"
>
Sarah Grebing
<tt>
grebing@ira.uka.de
</tt></a>
</li>
<li>
<a
href=
"https://formal.iti.kit.edu/~weigl"
target=
"_blank"
>
Alexander Weigl
<tt>
weigl@ira.uka.de
</tt></a>
</li>
</ul>
<h3>
Thanks to:
</h3>
...
...
ui/src/main/resources/about.txt
0 → 100644
View file @
6b3508f8
PSDBG
Licensed under GPLv3
Homepage: https://formal.iti.kit.edu/psdbg
Authors:
* Sarah Grebing <grebing@ira.uka.de>
https://formal.iti.kit.edu/~grebing
* Alexander Weigl <weigl@ira.uka.de>
https://formal.iti.kit.edu/~weigl
* Lulu Lulong
ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/AboutDialog.fxml
View file @
6b3508f8
...
...
@@ -4,7 +4,6 @@
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
<?import javafx.scene.text.Font?>
<?import javafx.scene.web.WebView?>
<BorderPane
prefHeight=
"400.0"
prefWidth=
"600.0"
xmlns=
"http://javafx.com/javafx/8.0.121"
xmlns:fx=
"http://javafx.com/fxml/1"
fx:controller=
"edu.kit.iti.formal.psdbg.gui.controls.AboutDialog"
>
<top>
...
...
@@ -39,7 +38,7 @@
<tabs>
<Tab
text=
"About PSDBG"
>
<content>
<
WebView
fx:id=
"webView"
></WebView
>
<
TextArea
text=
"${controller.aboutText}"
/
>
</content>
</Tab>
<Tab
text=
"License"
>
...
...
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