filter.refilter();
redraw_id_card_widgets ();
set_prompting_service(request.service);
- show ();
+ make_visible();
}
this.request_queue.push_tail (request);
}
+
+ /** Makes the window visible, or at least, notifies the user that the window
+ * wants to be visible.
+ *
+ * This differs from show() in that show() does not guarantee that the
+ * window will be moved to the foreground. Actually, neither does this
+ * method, because the user's settings and window manager may affect the
+ * behavior significantly.
+ */
+ public void make_visible()
+ {
+ set_urgency_hint(true);
+ present();
+ }
+
public IdCard check_add_password(IdCard identity, IdentityRequest request, IdentityManagerModel model)
{
IdCard retval = identity;
private const int WINDOW_WIDTH = 400;
private const int WINDOW_HEIGHT = 500;
public void show() {
- if (view != null) view.show();
+ if (view != null) view.make_visible();
}
public IdentityManagerApp (bool headless, bool use_flat_file_store) {