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 babf87b22..e20dcdaf9 100644 --- a/src/main/scala/li/cil/oc/client/gui/Manual.scala +++ b/src/main/scala/li/cil/oc/client/gui/Manual.scala @@ -83,9 +83,11 @@ class Manual extends GuiScreen { } def pushPage(path: String): Unit = { - history.push(path) - scrollTo(0) - refreshPage() + if (path != history.top) { + history.push(path) + scrollTo(0) + refreshPage() + } } def popPage(): Unit = {