Save/retrieve the preferred font · oohg/ide@8fe72e0 · GitHub

Commit

Save/retrieve the preferred font

Browse files

2022-06-06 18:41 UTC-0300 Fernando Yurisich <[email protected]>
   * ide\prgs\mgide.prg
     + Support for saving/retrieving the preferred font to/from
       the project's INI file. It defaults to OOHG's default font.
     * A data was renamed properly.
     * Some format.

Loading branch information

fyurisich committed Jun 6, 2022

1 parent 4b86d58 commit 8fe72e0