]> git.tuebingen.mpg.de Git - gsu.git/commitdiff
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)

No differences found