| commit | 249a86517673336d0a554a53da761b572c720373 | |
| author | emarsden <emarsden> | |
| Sat, 30 Dec 2006 15:07:31 +0000 (30 15:07 +0000) | ||
| committer | emarsden <emarsden> | |
| Sat, 30 Dec 2006 15:07:31 +0000 (30 15:07 +0000) | ||
| tree | 06621db9b157e482dd6889b6c40b41f199aca15a | treesnapshot (tar.gz zip) |
| parent | d855ca1172a197dc3eaa3e14dd9722637ec49e27 | commitdiff |
Minor improvements to user interface:
- enable double buffering
- wait until page has been downloaded before erasing previous page
- enable busy cursor while downloading and rendering
- enable double buffering
- wait until page has been downloaded before erasing previous page
- enable busy cursor while downloading and rendering
| src/gui/clim-gui.lisp | diffblobblamehistory |