Hi Fabien,

> Is there a way to bring it back for v.3.1? Thanks!

It's probably the result of a bug in the v4 beta where it overwrites the UI font name property used by v3 in moi.ini - I had meant to keep them separate but made a mistake there.

To fix it, try copying your moi.ini file which is at ~/Library/Application Support/Moi/moi.ini into the Contents/Resources folder inside the v4 beta's app bundle. This should make the v4 beta use its own separate moi.ini file instead of the normal shared one.

Then edit your main moi.ini file and remove the UIFontName= line in the [UI] section. This should reset v3's font back to default.

This will be fixed up for the next v4 beta so v4 and v3 will use separate font name properties in moi.ini so it allows v4 to use a new font while still sharing other settings.

- Michael