Toolchain Options Page: Hide widget
authorDaniel Teske <daniel.teske@digia.com>
Thu, 24 Jan 2013 17:39:20 +0000 (18:39 +0100)
committerTobias Hunger <tobias.hunger@digia.com>
Thu, 24 Jan 2013 19:58:38 +0000 (20:58 +0100)
commitfd43bdd563021c44ec53eb40c9dcc19f5a01b1b0
tree271d16ba916fd01d4099eee20828b04750513abb
parentdb7d64f15f7afa77c6214419c6358a1f41f75dcf
Toolchain Options Page: Hide widget

Sometimes on repeated and fast clicking the old widget wasn't hidden
correctly.

Change-Id: I0c00416593609a46b8c2229fdb855110deeb9354
Reviewed-by: Tobias Hunger <tobias.hunger@digia.com>
src/plugins/projectexplorer/toolchainoptionspage.cpp