| … | |
… | |
| 485 | # else |
485 | # else |
| 486 | rs[Rs_delete_key] = "\033[3~"; |
486 | rs[Rs_delete_key] = "\033[3~"; |
| 487 | # endif |
487 | # endif |
| 488 | #endif |
488 | #endif |
| 489 | |
489 | |
| 490 | setup_scrollbar (rs[Rs_scrollBar_align], rs[Rs_scrollstyle], rs[Rs_scrollBar_thickness]); |
490 | scrollBar.setup (this); |
| 491 | |
491 | |
| 492 | #ifdef XTERM_REVERSE_VIDEO |
492 | #ifdef XTERM_REVERSE_VIDEO |
| 493 | /* this is how xterm implements reverseVideo */ |
493 | /* this is how xterm implements reverseVideo */ |
| 494 | if (option (Opt_reverseVideo)) |
494 | if (option (Opt_reverseVideo)) |
| 495 | { |
495 | { |
| … | |
… | |
| 567 | #if 0 |
567 | #if 0 |
| 568 | XSynchronize (dpy, True); |
568 | XSynchronize (dpy, True); |
| 569 | #endif |
569 | #endif |
| 570 | |
570 | |
| 571 | if (option (Opt_scrollBar)) |
571 | if (option (Opt_scrollBar)) |
| 572 | resize_scrollbar (); /* create and map scrollbar */ |
572 | scrollBar.resize (); /* create and map scrollbar */ |
| 573 | #ifdef HAVE_BG_PIXMAP |
573 | #ifdef HAVE_BG_PIXMAP |
| 574 | { |
574 | { |
| 575 | bgPixmap.set_target (this); |
575 | bgPixmap.set_target (this); |
| 576 | bgPixmap.invalidate (); |
576 | bgPixmap.invalidate (); |
| 577 | |
577 | |
