tree d3bb600f8493f509831ce742bb2b795a9b12bba7
parent 085e5582f798272167c04b99f4d4a82e8404e3e4
author David Weiser <david.weiser@vogella.com> 1493740679 +0200
committer Lars Vogel <Lars.Vogel@vogella.com> 1493745078 -0400

Bug 516049 - [WorkbenchLauncher] Copy preference should warn if
preference will be overwritten

* adds ControlDecoration to copy settings buttons
* shows warning if workspace already exists

Change-Id: Ie62ff634e9627d546489bb1a8bdcee221ca7cb11
Signed-off-by: David Weiser <david.weiser@vogella.com>