| … | |
… | |
| 1029 | { |
1029 | { |
| 1030 | target->scrollBar.setIdle (); |
1030 | target->scrollBar.setIdle (); |
| 1031 | target->scrollbar_show (0); |
1031 | target->scrollbar_show (0); |
| 1032 | } |
1032 | } |
| 1033 | #endif |
1033 | #endif |
|
|
1034 | /* Is that really neccessary? we did a XClearArea to generate Expose events alreday ! */ |
| 1034 | target->want_refresh = target->want_full_refresh = 1; |
1035 | target->want_refresh = target->want_full_refresh = 1; |
|
|
1036 | /* TODO: why do we need a flush here ??? It causes segfault on resize ! */ |
| 1035 | target->flush (); |
1037 | // target->flush (); |
| 1036 | } |
1038 | } |
| 1037 | } |
1039 | } |
| 1038 | #endif /* HAVE_BG_PIXMAP */ |
1040 | #endif /* HAVE_BG_PIXMAP */ |
| 1039 | |
1041 | |
| 1040 | |
1042 | |
