diff -r f765249d57d7 -r 879b81864e4e www/js/prod_edit.js
--- a/www/js/prod_edit.js	Sat Feb 23 19:55:42 2019 +0100
+++ b/www/js/prod_edit.js	Sat Feb 23 21:07:14 2019 +0100
@@ -90,6 +90,11 @@
 	var     mashRow = 0;
 	var     mashData = {};
 
+	/*
+	 * Remove the top menu so that we MUST use the buttons to leave the editor.
+	 */
+	$('#jqxMenu').jqxMenu('destroy');
+
 	console.log("record:" + my_record + "  return:" + my_return + "  theme:" + theme);
         $("#jqxLoader").jqxLoader({
                 width: 250,
@@ -5283,7 +5288,7 @@
 	$('#jqxTabs').jqxTabs({
 		theme: theme,
 		width: 1280,
-		height: 630,
+		height: 660,
 		autoHeight: false,
 		position: 'top'
 	});