]> git.tuebingen.mpg.de Git - gsu.git/commit
gui: Remember menu position.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 22 Aug 2023 16:06:57 +0000 (18:06 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Tue, 22 Aug 2023 16:06:57 +0000 (18:06 +0200)
commit79113217e28306305622062b9f0c70b0a1a18148
tree0fd95c6297891e493668ddf22f3c0600b080ac8b
parent5dfe50002b64c19dab9625360165a3415f03eb99
gui: Remember menu position.
gui