-
hjk authored
Arguably, it should even stay on top of the options page if started from there, but... Change-Id: I36591f5f3125aad1114b799fe94b2a1dd5e03a9f Reviewed-by: Friedemann Kleint <Friedemann.Kleint@digia.com> Reviewed-by: Christian Kandeler <christian.kandeler@digia.com>
dc7ffefa