Reproduces the navigation bug

navigation-bug.kt

import tornadofx.*

/**
 * To reproduce use the navigation drawer to switch the views:
 * ## Working as expected:
 * * Press: View A
 * * Press: View B (borward and back buttons work as expected)
 *
 * ## Not working as expected:
 * * Press: View A
 * * Press: View B (forward and back buttons work as expected)
 * * Press: View A (forward and back buttons work as expected)
 * * Press: View A *again* --> Forward button no longer available
 *
 * @author Johannes Schneider ([js@cedarsoft.com](mailto:js@cedarsoft.com))
 */
fun main(args: Array<String>) {
  launch<WorkspaceSample>()
}

class WorkspaceSample : App(MyWorkspace::class)

class MyWorkspace : Workspace() {
  init {
    with(leftDrawer) {
      item("Navigation", expanded = true) {
        label("Hello World")

        button("View A") {
          action { dock<ViewA>() }
        }
        button("View B") {
          action { dock<ViewB>() }
        }
      }
    }
  }
}

class ViewA : View() {
  override val root = hbox {
    label("View A")
  }
}

class ViewB : View() {
  override val root = hbox {
    label("View B")
  }
}