DEADSOFTWARE

gui: fix multiple options reassignment in preferences window
authorDeaDDooMER <deaddoomer@deadsoftware.ru>
Sat, 27 May 2023 13:57:54 +0000 (16:57 +0300)
committerDeaDDooMER <deaddoomer@deadsoftware.ru>
Sat, 27 May 2023 13:59:12 +0000 (16:59 +0300)
commit19f8a082fb249eb52f8fe49ad50a794d3176babd
treeb6523968b95ebcf9a69efd93573cd30b90aa4a26
parent3c2fc40a5ba59f7570d4ae61c743de3ab1508434
gui: fix multiple options reassignment in preferences window
src/editor/f_options.lfm
src/editor/f_options.pas