From 1c5d58d9a2b99dc2afb328121d30a933cc0a026b Mon Sep 17 00:00:00 2001
From: Bill Farmer <williamjfarmer@yahoo.co.uk>
Date: Mon, 18 Sep 2017 17:05:55 +0100
Subject: [PATCH] Update menu

---
 src/main/java/org/billthefarmer/editor/Editor.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main/java/org/billthefarmer/editor/Editor.java b/src/main/java/org/billthefarmer/editor/Editor.java
index 38c7a42..d522896 100644
--- a/src/main/java/org/billthefarmer/editor/Editor.java
+++ b/src/main/java/org/billthefarmer/editor/Editor.java
@@ -517,6 +517,7 @@ private void setSizeAndTypeface(int size, int type)
 
         default:
             size = MEDIUM;
+            invalidateOptionsMenu();
             break;
         }