re-focus target explicity, e.g. relevant for Sledgehammer panel;
re-focus target explicity, e.g. relevant for Sledgehammer panel;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle