Skip to content

Conversation

@SougandhS
Copy link
Contributor

@SougandhS SougandhS commented Oct 30, 2025

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.

image Screenshot 2025-10-30 at 8 24 42 AM

@github-actions
Copy link
Contributor

github-actions bot commented Oct 30, 2025

Test Results

 1 947 files  ±0   1 947 suites  ±0   1h 43m 13s ⏱️ - 2m 27s
 4 721 tests ±0   4 697 ✅ ±0   24 💤 ±0  0 ❌ ±0 
14 163 runs  ±0  13 996 ✅ ±0  167 💤 ±0  0 ❌ ±0 

Results for commit 32e4fcc. ± Comparison against base commit 879c3bd.

♻️ This comment has been updated with latest results.

@SougandhS SougandhS force-pushed the IncludeFOnts branch 2 times, most recently from 4309121 to 009700e Compare October 31, 2025 04:55
@SougandhS
Copy link
Contributor Author

Hi @laeubi
Could you please check this PR when you get some 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.
@SougandhS SougandhS changed the title Include Colors & Font pref page in console filtered preference Include Font style pref page in console filtered preference Oct 31, 2025
@SougandhS
Copy link
Contributor Author

Update : just modifed the label

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

Successfully merging this pull request may close these issues.

1 participant