From b82f40a5bdc86e076b053848ca47e42ddbb5155f Mon Sep 17 00:00:00 2001 From: Love_Sara_Lee Date: Thu, 15 Jun 2017 14:26:12 +0800 Subject: [PATCH] remove accidental indent change --- src/main/scala/li/cil/oc/client/gui/Manual.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/scala/li/cil/oc/client/gui/Manual.scala b/src/main/scala/li/cil/oc/client/gui/Manual.scala index b1bb780da..02a3cc9eb 100644 --- a/src/main/scala/li/cil/oc/client/gui/Manual.scala +++ b/src/main/scala/li/cil/oc/client/gui/Manual.scala @@ -57,7 +57,7 @@ class Manual extends GuiScreen with traits.Window { } def refreshPage(): Unit = { - val content = Option(api.Manual.contentFor(ManualAPI.history.top.path)). + val content = Option(api.Manual.contentFor(ManualAPI.history.top.path)). getOrElse(asJavaIterable(Iterable("Document not found: " + ManualAPI.history.top.path))) document = Document.parse(content) documentHeight = Document.height(document, documentMaxWidth, fontRendererObj)