Mercurial > octave-nkf
comparison libgui/src/settings-dialog.ui @ 18644:6e81b59d657c gui-release
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)
author | Ahsan Ali Shahid <ahsan.ali.shahid@gmail.com> |
---|---|
date | Thu, 06 Mar 2014 03:56:59 +0500 |
parents | 3cb0e58a071d |
children | 086093fbdc1a |
comparison
equal
deleted
inserted
replaced
18641:40dce9423baa | 18644:6e81b59d657c |
---|---|
30 <width>0</width> | 30 <width>0</width> |
31 <height>0</height> | 31 <height>0</height> |
32 </size> | 32 </size> |
33 </property> | 33 </property> |
34 <property name="currentIndex"> | 34 <property name="currentIndex"> |
35 <number>1</number> | 35 <number>3</number> |
36 </property> | 36 </property> |
37 <widget class="QWidget" name="tab_general"> | 37 <widget class="QWidget" name="tab_general"> |
38 <property name="enabled"> | 38 <property name="enabled"> |
39 <bool>true</bool> | 39 <bool>true</bool> |
40 </property> | 40 </property> |
1253 </property> | 1253 </property> |
1254 </spacer> | 1254 </spacer> |
1255 </item> | 1255 </item> |
1256 </layout> | 1256 </layout> |
1257 </item> | 1257 </item> |
1258 <item row="2" column="2"> | |
1259 <layout class="QHBoxLayout" name="horizontalLayout_5"> | |
1260 <property name="topMargin"> | |
1261 <number>0</number> | |
1262 </property> | |
1263 <item> | |
1264 <widget class="QSpinBox" name="terminal_history_buffer"> | |
1265 <property name="minimum"> | |
1266 <number>0</number> | |
1267 </property> | |
1268 <property name="maximum"> | |
1269 <number>5000</number> | |
1270 </property> | |
1271 <property name="singleStep"> | |
1272 <number>20</number> | |
1273 </property> | |
1274 <property name="value"> | |
1275 <number>1000</number> | |
1276 </property> | |
1277 </widget> | |
1278 </item> | |
1279 <item> | |
1280 <widget class="QLabel" name="label_20"> | |
1281 <property name="text"> | |
1282 <string>(Changing buffer size clears history)</string> | |
1283 </property> | |
1284 </widget> | |
1285 </item> | |
1286 <item> | |
1287 <spacer name="horizontalSpacer_16"> | |
1288 <property name="orientation"> | |
1289 <enum>Qt::Horizontal</enum> | |
1290 </property> | |
1291 <property name="sizeHint" stdset="0"> | |
1292 <size> | |
1293 <width>40</width> | |
1294 <height>20</height> | |
1295 </size> | |
1296 </property> | |
1297 </spacer> | |
1298 </item> | |
1299 </layout> | |
1300 </item> | |
1301 <item row="2" column="0"> | |
1302 <widget class="QLabel" name="label_19"> | |
1303 <property name="minimumSize"> | |
1304 <size> | |
1305 <width>100</width> | |
1306 <height>20</height> | |
1307 </size> | |
1308 </property> | |
1309 <property name="text"> | |
1310 <string>History buffer Size</string> | |
1311 </property> | |
1312 </widget> | |
1313 </item> | |
1258 <item row="0" column="1"> | 1314 <item row="0" column="1"> |
1259 <spacer name="horizontalSpacer_28"> | 1315 <spacer name="horizontalSpacer_28"> |
1260 <property name="orientation"> | 1316 <property name="orientation"> |
1261 <enum>Qt::Horizontal</enum> | 1317 <enum>Qt::Horizontal</enum> |
1262 </property> | 1318 </property> |
1269 <height>20</height> | 1325 <height>20</height> |
1270 </size> | 1326 </size> |
1271 </property> | 1327 </property> |
1272 </spacer> | 1328 </spacer> |
1273 </item> | 1329 </item> |
1274 <item row="1" column="3"> | |
1275 <spacer name="horizontalSpacer_26"> | |
1276 <property name="orientation"> | |
1277 <enum>Qt::Horizontal</enum> | |
1278 </property> | |
1279 <property name="sizeHint" stdset="0"> | 1330 <property name="sizeHint" stdset="0"> |
1280 <size> | 1331 <size> |
1281 <width>40</width> | 1332 <width>40</width> |
1282 <height>20</height> | 1333 <height>20</height> |
1283 </size> | 1334 </size> |
1284 </property> | 1335 </property> |
1285 </spacer> | |
1286 </item> | |
1287 </layout> | 1336 </layout> |
1288 </item> | 1337 </item> |
1289 <item> | 1338 <item> |
1290 <widget class="Line" name="line_7"> | 1339 <widget class="Line" name="line_7"> |
1291 <property name="orientation"> | 1340 <property name="orientation"> |
1337 </item> | 1386 </item> |
1338 <item> | 1387 <item> |
1339 <spacer name="verticalSpacer_3"> | 1388 <spacer name="verticalSpacer_3"> |
1340 <property name="orientation"> | 1389 <property name="orientation"> |
1341 <enum>Qt::Vertical</enum> | 1390 <enum>Qt::Vertical</enum> |
1391 </property> | |
1392 <property name="sizeType"> | |
1393 <enum>QSizePolicy::Expanding</enum> | |
1342 </property> | 1394 </property> |
1343 <property name="sizeHint" stdset="0"> | 1395 <property name="sizeHint" stdset="0"> |
1344 <size> | 1396 <size> |
1345 <width>20</width> | 1397 <width>20</width> |
1346 <height>40</height> | 1398 <height>40</height> |