Add preference for terminal windows buffer size (bug #41474) * QTerminal.cc (notice_settings): call new function SetScrollBufferSize with the related value from the settings * QTerminal.h: new purely virtual function SetScrollBufferSize * QUnixTerminalImpl.cpp (initialize): corrections of coding style; (setScrollBufferSize): implementation of new function; * QUnixTerminalImpl.h: new function setScrollBufferSize; * QWinTerminalImpl.cpp (class QConsolePrivate): new function (QConsolePrivate::setScrollBufferSize): implementation of new function; (QWinTerminalImpl::setScrollBufferSize): implementation of new function; * QWinTerminalImpl.h: new function setScrollBufferSize; * settings-dialog.cc (constructor): init spinbox with buffer size from settings; (write_changed_settings): write value of spinbox into settings file * settings-dialog.ui: new spinbox for terminals buffer size (terminal tab)

#! /bin/sh

set -e
AWK=${AWK:-awk}

conffile=$1

cat << EOF
// DO NOT EDIT!  Generated automatically from $conffile by Make."

#include "oct-map.h"
#include "ov.h"

octave_scalar_map
octave_config_features (void)
{
  octave_scalar_map m;

EOF

$AWK \
  '/#define HAVE_/ {
     sub (/HAVE_/, "", $2);
     printf ("  m.assign (\"%s\", octave_value (true));\n", $2);
   }
   /\/\* #undef HAVE_/ {
     sub (/HAVE_/, "", $3);
     printf ("  m.assign (\"%s\", octave_value (false));\n", $3);
   } {
   }' $conffile

cat << EOF

  return m;
}
EOF