search for: rl_width

Displaying 4 results from an estimated 4 matches for "rl_width".

Did you mean: _width
2017 Aug 28
2
patch: automatically adjust width option when terminal is resized
...3-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? Thanks,...
2017 Sep 01
3
patch: automatically adjust width option when terminal is resized
...00 > +++ 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 sink() or c...
2017 Sep 01
0
patch: automatically adjust width option when terminal is resized
...3-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 > t...
2017 Sep 01
0
patch: automatically adjust width option when terminal is resized
...gt;>>> 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 pri...