dispose

fun dispose()

Clean up both editor views.