Skip to content

Commit

Permalink
Fixed possible refresh bug on button state
Browse files Browse the repository at this point in the history
  • Loading branch information
nfrankel committed Jun 11, 2012
1 parent a7e4923 commit 6c6fdf7
Showing 1 changed file with 6 additions and 0 deletions.
Original file line number Original file line Diff line number Diff line change
Expand Up @@ -107,15 +107,21 @@ public String getText() {
public void setSize(Size size) { public void setSize(Size size) {


getState().setSize(size.toString()); getState().setSize(size.toString());

requestRepaint();
} }


public void setType(Type size) { public void setType(Type size) {


getState().setType(size.toString()); getState().setType(size.toString());

requestRepaint();
} }


public void setText(String text) { public void setText(String text) {


getState().setText(text); getState().setText(text);

requestRepaint();
} }
} }

0 comments on commit 6c6fdf7

Please sign in to comment.