UI doesn't repaint properly after resuming from sleep

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

#579 UI doesn't repaint properly after resuming from sleep

Milestone: 3: Ugly

Status: open

Owner: nobody

Labels: UI: Windows-specific (21)

Priority: 5

Updated: 2007-03-08

Created: 2007-03-08

Creator: Christopher Warrington

Private: No

After I resume my computer from sleep, the DrJava UI does not repaint correctly (see screenshot). I may remember seeing this in other Java applications, so it may not be DrJava related.

Discussion

Christopher Warrington - 2007-03-08

Bad repainting after resuming from sleep

scroll_ui_repaint.png

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Christopher Warrington - 2007-03-08

summary: UI doesn't repaint after resuming from sleep --> UI doesn't repaint properly after resuming from sleep
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

UI doesn't repaint properly after resuming from sleep

A lightweight programming environment for Java

Group

Searches

Help

#579 UI doesn't repaint properly after resuming from sleep

Discussion