From 55f5132514be5491baa92e50eff08536a8d5010f Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Sun, 6 Sep 2020 21:26:06 +0200
Subject: [PATCH] WIP: fixed visibility of editor options.

---
 src/lay/lay/layMainWindow.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lay/lay/layMainWindow.cc b/src/lay/lay/layMainWindow.cc
index 94f8e6598..03f9732c7 100644
--- a/src/lay/lay/layMainWindow.cc
+++ b/src/lay/lay/layMainWindow.cc
@@ -1685,8 +1685,8 @@ MainWindow::select_mode (int m)
     if (mp_eo_stack && pd_sel) {
       eo_visible = pd_sel->editable_enabled ();
     }
-    if (mp_eo_stack && eo_visible) {
-      lay::EditorOptionsPages *eo_pages = dynamic_cast<lay::EditorOptionsPages *> (mp_eo_stack->currentWidget ());
+    if (current_view () && eo_visible) {
+      lay::EditorOptionsPages *eo_pages = current_view ()->editor_options_pages ();
       if (! eo_pages || ! eo_pages->has_content ()) {
         eo_visible = false;
       }