Displaying 4 results from an estimated 4 matches for "rl_height".
Did you mean:
fb_height
2017 Aug 28
2
patch: automatically adjust width option when terminal is resized
...d.c 2017-03-24 00:03:59.000000000 +0100
+++ R-3.4.1/src/unix/sys-std.patched.c 2017-08-28 09:16:02.714204023 +0200
@@ -1005,6 +1005,9 @@
// introduced in readline 4.0: only used for >= 6.3
#ifdef HAVE_RL_RESIZE_TERMINAL
rl_resize_terminal();
+ int rl_height, rl_width;
+ rl_get_screen_size(&rl_height,&rl_width);
+ R_SetOptionWidth(rl_width);
#endif
}
#endif
I tried it out and it works perfectly here. Of course there should be
an option to switch this on and off but you get the idea. What do you
think...
2017 Sep 01
3
patch: automatically adjust width option when terminal is resized
...0000000 +0100
> +++ R-3.4.1/src/unix/sys-std.patched.c 2017-08-28 09:16:02.714204023
> +0200 @@ -1005,6 +1005,9 @@
> // introduced in readline 4.0: only used for >= 6.3
> #ifdef HAVE_RL_RESIZE_TERMINAL
> rl_resize_terminal();
> + int rl_height, rl_width;
> + rl_get_screen_size(&rl_height,&rl_width);
> + R_SetOptionWidth(rl_width);
> #endif
> }
> #endif
The 'width' option affects more than printing to the console; it also
affects, for example, printing to a file via s...
2017 Sep 01
0
patch: automatically adjust width option when terminal is resized
...d.c 2017-03-24 00:03:59.000000000 +0100
+++ R-3.4.1/src/unix/sys-std.patched.c 2017-08-28 09:16:02.714204023
+0200 @@ -1005,6 +1005,9 @@
// introduced in readline 4.0: only used for >= 6.3
#ifdef HAVE_RL_RESIZE_TERMINAL
rl_resize_terminal();
+ int rl_height, rl_width;
+ rl_get_screen_size(&rl_height,&rl_width);
+ R_SetOptionWidth(rl_width);
#endif
}
#endif
> I tried it out and it works perfectly here. Of course there should be
> an option to switch this on and off but you get the idea. What do...
2017 Sep 01
0
patch: automatically adjust width option when terminal is resized
...017-08-28
>>>> 09:16:02.714204023 +0200 @@ -1005,6 +1005,9 @@
>>>> // introduced in readline 4.0: only used for >= 6.3
>>>> #ifdef HAVE_RL_RESIZE_TERMINAL
>>>> rl_resize_terminal();
>>>> + int rl_height, rl_width;
>>>> + rl_get_screen_size(&rl_height,&rl_width);
>>>> + R_SetOptionWidth(rl_width);
>>>> #endif
>>>> }
>>>> #endif
>>>
>>> The 'width' option affects mor...