From 3b0a34b9559e7eea4042543df90fda3d1b9130dd Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@klayout.de>
Date: Sun, 24 Mar 2024 12:31:44 +0100
Subject: [PATCH] [consider merging] Avoid a segfault when changing the default
 grids.

---
 src/lay/lay/layMainConfigPages.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/lay/lay/layMainConfigPages.cc b/src/lay/lay/layMainConfigPages.cc
index a7634e4e5..95e724196 100644
--- a/src/lay/lay/layMainConfigPages.cc
+++ b/src/lay/lay/layMainConfigPages.cc
@@ -525,7 +525,7 @@ CustomizeMenuConfigPage::commit (lay::Dispatcher *dispatcher)
     std::map<std::string, std::string>::iterator cb = m_current_bindings.find (kb->first);
     if (cb != m_current_bindings.end ()) {
       lay::Action *a = dispatcher->menu ()->action (kb->first);
-      if (cb->second != a->get_default_shortcut ()) {
+      if (a && cb->second != a->get_default_shortcut ()) {
         if (cb->second.empty ()) {
           kb->second = lay::Action::no_shortcut ();
         } else {