scide: make blink duration configurable
commit01b98e65bdfeb51e14d6fc60e9ce2e94157fa4cb
authorTim Blechmann <tim@klingt.org>
Wed, 22 Aug 2012 12:24:59 +0000 (22 14:24 +0200)
committerTim Blechmann <tim@klingt.org>
Wed, 22 Aug 2012 12:24:59 +0000 (22 14:24 +0200)
treec16622938e11db0a411dadec112cc865825e133c
parentb9b29d945fb062ae3bd7c021efbb57ed8590c9de
scide: make blink duration configurable

Signed-off-by: Tim Blechmann <tim@klingt.org>
editors/sc-ide/core/settings/manager.cpp
editors/sc-ide/forms/settings_editor.ui
editors/sc-ide/widgets/code_editor/editor.cpp
editors/sc-ide/widgets/code_editor/editor.hpp
editors/sc-ide/widgets/code_editor/overlay.cpp
editors/sc-ide/widgets/settings/editor_page.cpp