… | |
… | |
2837 | { |
2837 | { |
2838 | /* DECSTR: soft terminal reset, used by our terminfo since 9.06 */ |
2838 | /* DECSTR: soft terminal reset, used by our terminfo since 9.06 */ |
2839 | scr_soft_reset (); |
2839 | scr_soft_reset (); |
2840 | |
2840 | |
2841 | static const int pm_h[] = { 7, 25 }; |
2841 | static const int pm_h[] = { 7, 25 }; |
2842 | static const int pm_l[] = { 1, 3, 4, 5, 6, 7, 9, 66, 1000, 1001, 1049 }; |
2842 | static const int pm_l[] = { 1, 3, 4, 5, 6, 9, 66, 1000, 1001, 1049 }; |
2843 | |
2843 | |
2844 | process_terminal_mode ('h', 0, sizeof (pm_h) / sizeof (pm_h[0]), pm_h); |
2844 | process_terminal_mode ('h', 0, sizeof (pm_h) / sizeof (pm_h[0]), pm_h); |
2845 | process_terminal_mode ('l', 0, sizeof (pm_l) / sizeof (pm_l[0]), pm_l); |
2845 | process_terminal_mode ('l', 0, sizeof (pm_l) / sizeof (pm_l[0]), pm_l); |
2846 | } |
2846 | } |
2847 | break; |
2847 | break; |