X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fjalview%2Fappletgui%2FUserDefinedColours.java;h=36df3065a6721f120c9b4b1b1ac63f358f1c452b;hb=a28c9340eeadfdaa551a21b9dea1d0f1530126e3;hp=bcb1ddb33a963df21a4506a845f31bc376ff7ca7;hpb=4e0e25afe38bf1125ee90e9afa11ef0e9231f30e;p=jalview.git diff --git a/src/jalview/appletgui/UserDefinedColours.java b/src/jalview/appletgui/UserDefinedColours.java index bcb1ddb..36df306 100755 --- a/src/jalview/appletgui/UserDefinedColours.java +++ b/src/jalview/appletgui/UserDefinedColours.java @@ -92,6 +92,7 @@ public class UserDefinedColours { int i = Integer.parseInt(rText.getText()); rScroller.setValue(i); + rScroller_adjustmentValueChanged(null); } catch (NumberFormatException ex) {} @@ -103,6 +104,7 @@ public class UserDefinedColours { int i = Integer.parseInt(gText.getText()); gScroller.setValue(i); + gScroller_adjustmentValueChanged(null); } catch (NumberFormatException ex) {} @@ -115,6 +117,7 @@ public class UserDefinedColours { int i = Integer.parseInt(bText.getText()); bScroller.setValue(i); + bScroller_adjustmentValueChanged(null); } catch (NumberFormatException ex) {} @@ -146,10 +149,12 @@ public class UserDefinedColours { Color col = new Color(R, G, B); target.setBackground(col); + target.repaint(); if (selectedButton != null) { selectedButton.setBackground(col); + selectedButton.repaint(); } }