LagDisplayPanel.java |
| current inspection = 2009-09-03 21:56:13 (id #1) |
|
|
| Kind | Annotation Text |
|---|---|
| post | init'ed(this.plugin) |
| post | this.plugin == plugin |
| Kind | Annotation Text |
|---|
| Kind | Annotation Text |
|---|---|
| pre | init'ed(this.plugin) |
| post | new ServerInfoDialog( |
| post | return_value == &new ServerInfoDialog( |