Fix #24: DecorativeIconPanel's icon size should be changeable

bobbylight · Dec 30, 2022 · 8c74a1e · 8c74a1e
1 parent a827edc
commit 8c74a1e
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 2 deletions.
diff --git a/RSTAUI/build.gradle b/RSTAUI/build.gradle
@@ -9,8 +9,8 @@ assert JavaVersion.current().isJava8Compatible()
 archivesBaseName = 'rstaui'
 
 dependencies {
-    api 'com.fifesoft:rsyntaxtextarea:3.3.0'
-    api 'com.fifesoft:autocomplete:3.3.0'
+    api 'com.fifesoft:rsyntaxtextarea:3.3.1'
+    api 'com.fifesoft:autocomplete:3.3.1-SNAPSHOT'
     testImplementation 'org.junit.jupiter:junit-jupiter-api:5.9.1'
     testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.9.1'
 }

diff --git a/RSTAUI/src/main/java/org/fife/rsta/ui/DecorativeIconPanel.java b/RSTAUI/src/main/java/org/fife/rsta/ui/DecorativeIconPanel.java
@@ -140,6 +140,21 @@ public void setIcon(Icon icon) {
 	}
 
 
+	/**
+	 * Sets the size of the icon to display. This only needs to be
+	 * called if the icon set being used changes at runtime.
+	 *
+	 * @param iconWidth The new icon size.
+	 */
+	public void setIconWidth(int iconWidth) {
+		if (iconWidth != emptyIcon.getIconWidth()) {
+			emptyIcon.setSize(iconWidth);
+			revalidate();
+			repaint();
+		}
+	}
+
+
 	/**
 	 * Toggles whether the icon should be shown.
 	 *