On Sun, Jun 16, 2019 at 11:27 AM Thomas Singer <[email protected]> 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 [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
