diff options
author | hjk <hjk121@nokiamail.com> | 2014-06-25 17:13:29 +0200 |
---|---|---|
committer | hjk <hjk121@nokiamail.com> | 2014-06-27 10:46:37 +0200 |
commit | cc4943a2405777cde3ec39ea6402b6adc7cf7329 (patch) | |
tree | e82b6790509c41ff86722f8cfcdd60a1048abdbb /src/plugins/texteditor | |
parent | 10c2de079790255f74c06ae649dfddc3e2fec6ba (diff) | |
download | qt-creator-cc4943a2405777cde3ec39ea6402b6adc7cf7329.tar.gz |
Debugger: Force reset of "Load system GDB pretty printer" option
Using them still bites often. Since we can't distinguish between
setups run first with Creator 3.1 (where the option was 'on'
by default) and people who actively selected that at another
time, reset for all. People _needing_ them can opt in again.
There won't be many, if at all.
Change-Id: I68c64d71f0c8ab4a3e6c73cc91481a7d3f9ef6b9
Reviewed-by: Eike Ziller <eike.ziller@digia.com>
Diffstat (limited to 'src/plugins/texteditor')
0 files changed, 0 insertions, 0 deletions