comparison gui/src/files-dockwidget.cc @ 14998:de3a318128f2 gui

Added support for changing the terminal cursor and the cursor blinking. * main-window.cc: Added code to react on cursor settings changes. * settings-dialog.cc: Added code to handle new GUI settings elements. * settings-dialog.ui: Added combo box and checkbox for cursor settings.
author Jacob Dawid <jacob.dawid@gmail.com>
date Sat, 21 Jul 2012 01:39:03 -0400
parents 9d9eb9bac65e
children bc801a44bb1f
comparison
equal deleted inserted replaced
14997:2d6766e93f7b 14998:de3a318128f2