Add menu items to edit gnuplot.ini and wgnuplot.ini

gnuplot · Oct 6, 2017 · 1455f97 · 1455f97
1 parent c5031aa
commit 1455f97
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/ChangeLog b/ChangeLog
@@ -10,6 +10,12 @@
 	* config/mingw/Makefile:  Add a note that secure APIs are required
 	(pointed out by Allin Cottrell on the mailing list).
 
+	* config/msvc/Makefile:  Build and install support files for the
+	lua/tikz terminal.
+
+	src/win/wgnuplot.mnu:  Add menu items to edit gnuplot.ini and
+	wgnuplot.ini to 'Help' menu.
+
 2017-10-05  Bastian Maerkisch  <[email protected]>
 
 	* src/win/wd2d.cpp:  Enable color font support.  This enables colored

diff --git a/src/win/wgnuplot.mnu b/src/win/wgnuplot.mnu
@@ -112,7 +112,7 @@
 		Fsteps
 			with fsteps
 		Histeps
-			with histeps		
+			with histeps
 	[EndMenu]
 	[Menu]
 	with Style (compound)
@@ -726,6 +726,13 @@ Fu&nctions
 	&Windows
 		help windows{ENTER}
 	--
+	&Options
+		[OPTIONS]
+	&Edit wgnuplot.ini
+		!start notepad %APPDATA%\wgnuplot.ini{ENTER}
+	Edit &gnuplot.ini
+		!start notepad %APPDATA%\gnuplot.ini{ENTER}
+	--
 	&About
 		[ABOUT]
 [EndMenu]