search for: rl_width

...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,...

...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...

...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...

...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...