-
Notifications
You must be signed in to change notification settings - Fork 148
Include Font style pref page in console filtered preference #2225
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
base: master
Are you sure you want to change the base?
Conversation
Test Results 1 926 files ±0 1 926 suites ±0 1h 26m 45s ⏱️ -40s For more details on these failures and errors, see this check. Results for commit 27d1f6d. ± Comparison against base commit 70275ad. ♻️ This comment has been updated with latest results. |
4309121 to
009700e
Compare
|
Hi @laeubi |
d476242 to
32e4fcc
Compare
|
Update : just modifed the label |
4955c84 to
cb07af2
Compare
cb07af2 to
b3f9802
Compare
|
This pull request changes some projects for the first time in this development cycle. An additional commit containing all the necessary changes was pushed to the top of this PR's branch. To obtain these changes (for example if you want to push more changes) either fetch from your fork or apply the git patch. Git patchFurther information are available in Common Build Issues - Missing version increments. |
451397d to
c93534f
Compare
c93534f to
176cdd9
Compare
5ea634e to
b74e79d
Compare
|
Hi @akurtakov, could you please merge this PR when you get time ? |
Added the font style preference page link under Console Preferences. This allows users to change console font styles directly from the console filtered preferences.
b74e79d to
27d1f6d
Compare
Added Fonts preference page link under Console Filtered Preferences. This allows users to change console font styles directly from the console filtered preferences. similar to filtered preferences of Editor.