-
Eike Ziller authored
Since they are no longer modal, the "return to editor" shortcut was executed for the escape key instead. Change-Id: I4505f49105ad46f7c5f9e0257e77a8ca4652ef06 Reviewed-by: Daniel Teske <daniel.teske@digia.com>
82296d32
Since they are no longer modal, the "return to editor" shortcut was
executed for the escape key instead.
Change-Id: I4505f49105ad46f7c5f9e0257e77a8ca4652ef06
Reviewed-by: Daniel Teske <daniel.teske@digia.com>