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 926 files  ±0   1 926 suites  ±0   1h 26m 45s ⏱️ -40s
 4 745 tests ±0   4 719 ✅  - 1   24 💤 ±0  1 ❌ +1  1 🔥 ±0 
14 082 runs  ±0  13 898 ✅  - 1  182 💤 ±0  1 ❌ +1  1 🔥 ±0 

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.

@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 ?

@SougandhS SougandhS force-pushed the IncludeFOnts branch 2 times, most recently from d476242 to 32e4fcc Compare October 31, 2025 07:26
@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

@SougandhS SougandhS force-pushed the IncludeFOnts branch 2 times, most recently from 4955c84 to cb07af2 Compare November 8, 2025 00:54
@eclipse-platform-bot
Copy link
Contributor

This pull request changes some projects for the first time in this development cycle.
Therefore the following files need a version increment:

debug/org.eclipse.debug.ui/META-INF/MANIFEST.MF

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 patch
From bcfbd0603cc49007341481fcf7d2f6caf8026603 Mon Sep 17 00:00:00 2001
From: Eclipse Platform Bot <[email protected]>
Date: Mon, 8 Dec 2025 05:37:19 +0000
Subject: [PATCH] Version bump(s) for 4.39 stream


diff --git a/debug/org.eclipse.debug.ui/META-INF/MANIFEST.MF b/debug/org.eclipse.debug.ui/META-INF/MANIFEST.MF
index 860867d420..db51858366 100644
--- a/debug/org.eclipse.debug.ui/META-INF/MANIFEST.MF
+++ b/debug/org.eclipse.debug.ui/META-INF/MANIFEST.MF
@@ -2,7 +2,7 @@ Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: %pluginName
 Bundle-SymbolicName: org.eclipse.debug.ui; singleton:=true
-Bundle-Version: 3.19.100.qualifier
+Bundle-Version: 3.19.200.qualifier
 Bundle-Activator: org.eclipse.debug.internal.ui.DebugUIPlugin
 Bundle-Vendor: %providerName
 Bundle-Localization: plugin
-- 
2.52.0

Further information are available in Common Build Issues - Missing version increments.

@SougandhS
Copy link
Contributor Author

Hi @akurtakov, could you please merge this PR when you get time ?
The failures are unrelated to this change.

Added the font style preference page link under Console Preferences.
This allows users to change console font styles directly from the
console filtered preferences.
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.

2 participants