FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Now SubmitFrame does not show messages at startup · DrJavaAtRice/drjava@69242da · GitHub

Repository navigation

Commit 69242da

Browse files
committed
Now SubmitFrame does not show messages at startup
1 parent 84eeb2e commit 69242da

1 file changed

Lines changed: 8 additions & 1 deletion

File tree

‎drjava/src/edu/rice/cs/drjava/ui/MainFrame.java‎

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1179,6 +1179,12 @@ public void showCoverageFrame() {
11791179
/** Show Submit Client dialog */
11801180
private volatile AbstractAction _submitAction = new AbstractAction("Submit") {
11811181
public void actionPerformed(ActionEvent ae) {
1182+
// try to re-connect if possible
1183+
if(_submitFrame.getServer()==null){
1184+
_submitFrame = SubmitClient.createSubmitForm(SubmitClient.prepareServer(true));
1185+
if(_submitFrame.getServer()==null)
1186+
return;
1187+
}
11821188
String text = _model.getActiveDocument().getText();
11831189
_submitFrame.setText(text);
11841190
_submitFrame.setVisible(true);
@@ -3766,7 +3772,8 @@ public void optionChanged(OptionEvent<Boolean> oce) {
37663772
_editExternalDialog = new EditExternalDialog(MainFrame.this);
37673773
_jarOptionsDialog = new JarOptionsDialog(MainFrame.this);
37683774

3769-
_submitFrame = SubmitClient.createSubmitForm(SubmitClient.prepareServer());
3775+
// false = hide error messages
3776+
_submitFrame = SubmitClient.createSubmitForm(SubmitClient.prepareServer(false));
37703777

37713778
initTabbedPanesFrame();
37723779
initDebugFrame();

0 commit comments

Comments
 (0)

Back | FazBrowse Home | New Git URL