diff options
| author | James Moger <james.moger@gitblit.com> | 2011-10-24 22:45:37 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-10-24 22:45:37 -0400 |
| commit | 2a99c31201b7002e4dd827b226cf2112d17ca1e1 (patch) | |
| tree | c0bea0b4d36fb6aa0f26fcad27a3cd193eb5f2d6 /src/com/gitblit/client/SettingPanel.java | |
| parent | 97a20ed01cb5ec890517e4fcbd67b8d8ff381787 (diff) | |
| download | gitblit-2a99c31201b7002e4dd827b226cf2112d17ca1e1.tar.gz gitblit-2a99c31201b7002e4dd827b226cf2112d17ca1e1.zip | |
Functional edit setting feature for Manager. Wrote stacktrace viewer.
Trap connect exceptions.
Diffstat (limited to 'src/com/gitblit/client/SettingPanel.java')
| -rw-r--r-- | src/com/gitblit/client/SettingPanel.java | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/com/gitblit/client/SettingPanel.java b/src/com/gitblit/client/SettingPanel.java index 8d07dc83..6da09e18 100644 --- a/src/com/gitblit/client/SettingPanel.java +++ b/src/com/gitblit/client/SettingPanel.java @@ -50,10 +50,16 @@ public class SettingPanel extends JPanel { initialize();
}
+ public SettingPanel(SettingModel setting) {
+ this();
+ setSetting(setting);
+ }
+
private void initialize() {
descriptionArea = new JTextArea();
descriptionArea.setRows(6);
descriptionArea.setFont(new Font("monospaced", Font.PLAIN, 11));
+ descriptionArea.setEditable(false);
settingName = new JLabel(" ");
settingName.setFont(settingName.getFont().deriveFont(Font.BOLD));
@@ -83,10 +89,10 @@ public class SettingPanel extends JPanel { settingName.setText(setting.name);
if (setting.since == null) {
sinceVersion.setText("custom");
- } else {
+ } else {
sinceVersion.setText("since " + setting.since);
}
- settingDefault.setText("default: " + setting.defaultValue);
+ settingDefault.setText(Translation.get("gb.default") + ": " + setting.defaultValue);
List<String> values = new ArrayList<String>();
if (setting.caseSensitive) {
|