Added behavior for double click on preview widget: raise the preview
window.
Authored by: brunoherbelin 2017-08-31
Parent: [r1464]
Child: [r1466]