remove accidental indent change

This commit is contained in:
Love_Sara_Lee 2017-06-15 14:26:12 +08:00 committed by GitHub
parent eb69ee6539
commit b82f40a5bd

View File

@ -57,7 +57,7 @@ class Manual extends GuiScreen with traits.Window {
} }
def refreshPage(): Unit = { 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))) getOrElse(asJavaIterable(Iterable("Document not found: " + ManualAPI.history.top.path)))
document = Document.parse(content) document = Document.parse(content)
documentHeight = Document.height(document, documentMaxWidth, fontRendererObj) documentHeight = Document.height(document, documentMaxWidth, fontRendererObj)