search

dasher-project / dasher

Dasher
http://www.inference.phy.cam.ac.uk/dasher/
GNU General Public License v2.0
156 stars 45 forks source link

macOS: Correctly fall back system font when no Dasher Font has been selected in preferences (fixes #173) #174

Closed sebwills closed 4 years ago

sebwills commented 4 years ago

Fixes #173

sebwills commented 4 years ago

Hi @cagdasgerede, is anything else needed before you can merge this?

cagdasgerede commented 4 years ago

I thought you would merge it yourself by pressing the merge button. Let me do it for you.

On Tue, Apr 14, 2020 at 9:28 PM sebwills notifications@github.com wrote:

Hi @cagdasgerede https://github.com/cagdasgerede, is anything else needed before you can merge this?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/dasher-project/dasher/pull/174#issuecomment-613606342, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAAC6FB5Q2BQI4JKBZU6LQ3RMSTMHANCNFSM4MFCS75Q .

sebwills commented 4 years ago

I don't think I had a merge button because I don't have write perms to the repo. Happy to have them if you want to me make an admin.

I thought you would merge it yourself by pressing the merge button. Let me do it for you.