diff --git a/gui/menubar.xml b/gui/menubar.xml
index 3fb3d9f34..8eb3ddae2 100644
--- a/gui/menubar.xml
+++ b/gui/menubar.xml
@@ -794,6 +794,10 @@
 				<command>reinit</command>
 				<subsystem>xml-autopilot</subsystem>
 			</binding>
+			<binding>
+				<command>reinit</command>
+				<subsystem>xml-proprules</subsystem>
+			</binding>
 		</item>
 
 		<item>