Commit d312cfbf authored by Sarah Grebing's avatar Sarah Grebing

Bugfix save script

parent cbd5e3b1
Pipeline #17194 passed with stages
in 9 minutes and 35 seconds
......@@ -242,7 +242,7 @@ public class ScriptController {
*/
public void saveCurrentScript() throws IOException {
for (ScriptArea scriptArea : openScripts.keySet()) {
if (scriptArea.isFocused()) {
if (scriptArea.isFocused() || openScripts.size() == 1) {
saveCurrentScriptAs(scriptArea.getFilePath());
}
}
......
......@@ -73,13 +73,18 @@ the analysis of failed proof attempts.
A full description of the language and debugging-concept
is published at [HVC 2017](http://rdcu.be/E4fF)
## Debugging Quicksort
## Debugging Script for Quicksort's `split` method.
<center>
The video will be uploaded on 23th, January.
<!--
<video width="80%" controls>
<source src="quicksort.webm" type="video/webm">
Your browser does not support the video tag or WebM.
</video>
-->
</center>
## Features
......@@ -140,7 +145,7 @@ Your browser does not support the video tag or WebM.
<h2>Downloads</h2>
<ul>
<li>PSDBG - <strong>Version 1.0-FM</strong>
<li>PSDBG - <strong>Version 1.0-FM will be available at 23th, January</strong>
<a href="~/releases/psdbg-1.0-fm.jar">psdbg-1.0-fm.jar</a>
<br>
Special Version for the tool paper at Formal Methods 2018.
......
This diff is collapsed.
......@@ -2,4 +2,4 @@
mkdocs build --clean
#rsync --delete -vr site/ i57adm.ira.uka.de:htdocs/grebing/psdbg/
rsync --delete -vr site/ grebing@i57adm.ira.uka.de:.public_html/psdbg/
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment