author | DeaDDooMER <deaddoomer@deadsoftware.ru> | |
Sat, 27 May 2023 13:57:54 +0000 (16:57 +0300) | ||
committer | DeaDDooMER <deaddoomer@deadsoftware.ru> | |
Sat, 27 May 2023 13:59:12 +0000 (16:59 +0300) | ||
commit | 19f8a082fb249eb52f8fe49ad50a794d3176babd | |
tree | b6523968b95ebcf9a69efd93573cd30b90aa4a26 | tree | snapshot |
parent | 3c2fc40a5ba59f7570d4ae61c743de3ab1508434 | commit | diff |
gui: fix multiple options reassignment in preferences window
src/editor/f_options.lfm | diff | blob | history | |
src/editor/f_options.pas | diff | blob | history |