diff options
| author | James Moger <james.moger@gitblit.com> | 2012-11-01 09:12:55 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2012-11-01 09:12:55 -0400 |
| commit | 7ba85bfa11c7fcab21ada61650fe30763aafd7b0 (patch) | |
| tree | b08e6aa1a0f4dbd0a90eaa7257d348983721c40b /src/com/gitblit/client/RegistrantPermissionsPanel.java | |
| parent | 40b07bca7d02438cd0d660f3b1713ffa86f6df76 (diff) | |
| download | gitblit-7ba85bfa11c7fcab21ada61650fe30763aafd7b0.tar.gz gitblit-7ba85bfa11c7fcab21ada61650fe30763aafd7b0.zip | |
Gracefully deal with missing repository in permissions ui (issue 155)
Diffstat (limited to 'src/com/gitblit/client/RegistrantPermissionsPanel.java')
| -rw-r--r-- | src/com/gitblit/client/RegistrantPermissionsPanel.java | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/com/gitblit/client/RegistrantPermissionsPanel.java b/src/com/gitblit/client/RegistrantPermissionsPanel.java index c28724c7..ef04a876 100644 --- a/src/com/gitblit/client/RegistrantPermissionsPanel.java +++ b/src/com/gitblit/client/RegistrantPermissionsPanel.java @@ -198,8 +198,13 @@ public class RegistrantPermissionsPanel extends JPanel { setToolTipText(MessageFormat.format(Translation.get("gb.regexPermission"), ap.source));
break;
default:
- setText("");
- setToolTipText(null);
+ if (ap.isMissing()) {
+ setText(Translation.get("gb.missing"));
+ setToolTipText(Translation.get("gb.missingPermission"));
+ } else {
+ setText("");
+ setToolTipText(null);
+ }
break;
}
}
|