override fun writeExternal()

in src/main/kotlin/com/jetbrains/micropython/run/MicroPythonRunConfiguration.kt [134:138]


  override fun writeExternal(element: Element) {
    super.writeExternal(element)
    element.setAttribute("path", path)
    element.setAttribute("runReplOnSuccess", if (runReplOnSuccess) "yes" else "no")
  }