Options dialog: add checkbox for startup tips
authorJohn Darrington <john@darrington.wattle.id.au>
Sat, 11 Sep 2021 05:39:29 +0000 (07:39 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Sat, 11 Sep 2021 06:37:06 +0000 (08:37 +0200)
commit39e99af63f3280cd2d2d822eb2734371278de9df
tree600d0468386509771ff8be428ce7de894ac02d58
parentc8972f8c7c079984cc1986db8755e838f4050f9d
Options dialog: add checkbox for startup tips
src/ui/gui/options-dialog.c
src/ui/gui/options.ui