On Sun, Jun 16, 2019 at 11:27 AM Thomas Singer <ts-...@syntevo.com> wrote:
> Hi Eric, > > Out of curiosity: What does it do on GTK? > It prints the entire Shell, i.e. not just the client area, but also the Shell trimmings (borders, window title/bar, etc.) Eric
_______________________________________________ platform-dev mailing list platform-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
