From 2b571f08d091dc062cedbb9816c29dcf0cbd4f12 Mon Sep 17 00:00:00 2001 From: Eduardo Pedroni Date: Thu, 22 May 2014 07:44:52 +0100 Subject: Final commit, will release later today. --- doc/jcgp/gui/settings/package-use.html | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'doc/jcgp/gui/settings/package-use.html') diff --git a/doc/jcgp/gui/settings/package-use.html b/doc/jcgp/gui/settings/package-use.html index d833851..4ba25d1 100644 --- a/doc/jcgp/gui/settings/package-use.html +++ b/doc/jcgp/gui/settings/package-use.html @@ -2,9 +2,9 @@ - + Uses of Package jcgp.gui.settings - + @@ -99,7 +99,10 @@ -SettingsPane  +SettingsPane +
This is a fairly hefty class which encapsulates the entire right-hand + control pane.
+ -- cgit v1.2.3