search

cicciocb / Annex32_examples

MIT License
0 stars 0 forks source link

Store the editor font size and the variable names in the cookies #16

Closed cicciocb closed 1 month ago

cicciocb commented 1 month ago

Actually the font size can be stored with the CTRL-ALT-F3 but it should be saved as it is done for the other fields (filename, ...). Store also the remaining items on the page (variable names)