diff bootstrap @ 19501:735bc47d18af gui-release

command_editor: provide access to rl_set_screen_size * cmd-edit.h, cmd-edit.cc (command_editor::set_screen_size, command_editor::do_set_screen_size, gnu_readline::do_set_screen_size): New functions. * oct-rl-edit.h, oct-rl-edit.c (octave_rl_set_screen_size): New function.
author John W. Eaton <jwe@octave.org>
date Wed, 17 Sep 2014 16:28:41 -0400
parents a801d0ab5830
children 2de0eb7405e4
line wrap: on
line diff