-
Timm Bäder authored
This is sometimes important, e.g. when saving in the filechooser. We don't want to move the focus out of the filename entry in that case.
1e613485
This is sometimes important, e.g. when saving in the filechooser. We don't want to move the focus out of the filename entry in that case.