Commit ba49f09a authored by Joachim Müssig's avatar Joachim Müssig

Add Title for spec gui

parent a9ebe4f4
......@@ -29,7 +29,7 @@ public class JoanaKeYGui extends Application {
Scene scene = new Scene(root);
stage.setTitle("Combined Approach KeYJoana: Specification Panel ");
stage.setScene(scene);
stage.show();
}
......
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