()
| 182 | } |
| 183 | |
| 184 | public void unprogress() { |
| 185 | if (PreferencesData.getBoolean("editor.beep.compile")) { |
| 186 | Toolkit.getDefaultToolkit().beep(); |
| 187 | } |
| 188 | if (progressBar == null) { |
| 189 | return; |
| 190 | } |
| 191 | progressBar.setVisible(false); |
| 192 | progressBar.setValue(0); |
| 193 | setCursor(null); |
| 194 | } |
| 195 | |
| 196 | public void progressUpdate(int value) { |
| 197 | if (progressBar == null) return; |
no test coverage detected