I added the feature (saving window state and position) only for the microsoft windows port. Someone told me that under linux the window manager (KDE, Gnome, whatever) is responsible for this.
I added the feature (saving window state and position) only for the microsoft windows port.
Someone told me that under linux the window manager (KDE, Gnome, whatever) is responsible for this.