From 830b2cb0d756ff812d1996ef22b39ba8430f8dcf Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Tue, 20 Sep 2005 14:17:32 +0000 Subject: [PATCH] Use gtk icons --- help/help.hs | 17 +++++++++++++++++ help/help.jhm | 7 +++++++ 2 files changed, 24 insertions(+) diff --git a/help/help.hs b/help/help.hs index ee6155d..8241afe 100755 --- a/help/help.hs +++ b/help/help.hs @@ -23,4 +23,21 @@ JavaHelpSearch + + TOPALi + + + Jalview Documentation + helpIcon + + javax.help.BackAction + javax.help.ForwardAction + javax.help.HomeAction + javax.help.SeparatorAction + + + javax.help.PrintAction + javax.help.PrintSetupAction + + diff --git a/help/help.jhm b/help/help.jhm index 1690f5e..a7b1196 100755 --- a/help/help.jhm +++ b/help/help.jhm @@ -60,4 +60,11 @@ + + + + + + + -- 1.7.10.2