From 1455f9768f84f061aade6a9d52c29dfd92f621db Mon Sep 17 00:00:00 2001 From: markisch Date: Fri, 6 Oct 2017 07:52:24 +0000 Subject: [PATCH] Add menu items to edit gnuplot.ini and wgnuplot.ini --- ChangeLog | 6 ++++++ src/win/wgnuplot.mnu | 9 ++++++++- 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 9fe292c1c..45b8ac3d1 100644 --- 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 * src/win/wd2d.cpp: Enable color font support. This enables colored diff --git a/src/win/wgnuplot.mnu b/src/win/wgnuplot.mnu index 6aa87de6a..9200de736 100644 --- 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]