diff -r 83f15deb2d36 -r f044766cd94f src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala Sun Jan 13 13:33:23 2019 +0100
+++ b/src/Pure/Tools/main.scala Sun Jan 13 16:57:25 2019 +0100
@@ -53,7 +53,7 @@
if (!(settings_dir + Path.explode("perspective.xml")).is_file) {
File.write(settings_dir + Path.explode("DockableWindowManager/perspective-view0.xml"),
- """""")
+ """""")
File.write(settings_dir + Path.explode("perspective.xml"),
"""