1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
From: Ole Streicher <olebole@debian.org>
Date: Thu, 23 Feb 2017 14:19:35 +0100
Subject: Fix Icon path in jhall.jar
---
src/main/uk/ac/starlink/topcat/ResourceIcon.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/uk/ac/starlink/topcat/ResourceIcon.java b/src/main/uk/ac/starlink/topcat/ResourceIcon.java
index bf4e4fa..e5508ba 100644
--- a/src/main/uk/ac/starlink/topcat/ResourceIcon.java
+++ b/src/main/uk/ac/starlink/topcat/ResourceIcon.java
@@ -675,10 +675,10 @@ public class ResourceIcon implements Icon {
new Ri1RegistryTableLoadDialog().getIcon() );
putMap( nameMap, "HELP_TOC",
new ImageIcon( JHelp.class
- .getResource( "plaf/basic/images/TOCNav.gif" ) ) );
+ .getResource( "plaf/basic/images/TOCNav.png" ) ) );
putMap( nameMap, "HELP_SEARCH",
new ImageIcon( JHelp.class
- .getResource( "plaf/basic/images/SearchNav.gif" ) ) );
+ .getResource( "plaf/basic/images/SearchNav.png" ) ) );
/* Pull in icons from external packages. */
Class[] riClazzes = new Class[] {
|
