| method | void actionPerformed(ActionEvent) |
| pre | init'ed(this.textpane.canvas.scrollBarPosition) |
| pre | this.textpane != null |
| pre | this.textpane.canvas != null |
| pre | this.textpane.scrollBar != null |
| pre | (soft) this.textpane.canvas.textPane != null |
| post | this.textpane.canvas.scrollBarPosition >= -2_147_483_638 |
| unanalyzed | call on javax.swing.JScrollBar:getValue |
| unanalyzed | call on setScrollBarPosition |
| unanalyzed | call on com.dmdirc.addons.ui_swing.textpane. TextPaneCanvas:repaint |
| unanalyzed | call on javax.swing.JScrollBar:setValue |
| unanalyzed | call on com.dmdirc.addons.ui_swing.textpane. TextPane:isVisible |