Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow user defined font settings #2

Open
ndrogers opened this issue Oct 3, 2019 · 1 comment
Open

Allow user defined font settings #2

ndrogers opened this issue Oct 3, 2019 · 1 comment

Comments

@ndrogers
Copy link

ndrogers commented Oct 3, 2019

With this package installed, all APL files are forced to use a specific font family. Please allow a User Settings option to override the font family.

@e9gille
Copy link
Contributor

e9gille commented Oct 3, 2019

The extension is merely providing a default setting for the apl language. VSCode supports settings to be defined either on workspace level or in user settings as you suggest. You can define your own override in either of those by specifying the language identifier like this (example is demonstrating the current default provided by the extension):

"[apl]": {
  "editor.fontFamily": "APL385 Unicode, Consolas, 'Courier New', monospace"
}

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants