[jedit:patches] #645 Standardize notable color properties wrt. getColorHexString

This is a multi-part message in MIME format.
--===============5042157912048190977==
Content-Type: multipart/related; boundary="===============5639487178925513552=="

This is a multi-part message in MIME format.
--===============5639487178925513552==
Content-Type: multipart/alternative; boundary="===============3490483583912609115=="
MIME-Version: 1.0

--===============3490483583912609115==
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit




---

**[patches:#645] Standardize notable color properties wrt. getColorHexString**

**Status:** open
**Group:** 
**Created:** Tue May 20, 2025 09:46 AM UTC by Makarius
**Last Updated:** Tue May 20, 2025 09:46 AM UTC
**Owner:** nobody
**Attachments:**

- [a.patch](https://sourceforge.net/p/jedit/patches/645/attachment/a.patch) (4.3 kB; text/x-patch)


This is an attempt to reduce redundant entries in user properties (file "properties" in the settings directory).

The problem is that color defaults use RGB without ALPHA, but SyntaxUtilities.getColorHexString() will add a prefix "#ff" for that. Thus most color properties end up in the user properties file, even without an actual change of the value.

The patch adjusts the default jEdit colors to coincide with the ARGB format of SyntaxUtilities.getColorHexString(). Note that this does not cover plugin properties: that would require more profound changes, for example to have getColorHexString() omit a redundant "#ff" prefix.


---

Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/patches/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/patches/options.  Or, if this is a mailing list, you can unsubscribe from the mailing list.
--===============3490483583912609115==
MIME-Version: 1.0
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: 7bit

<div class="markdown_content"><hr/>
<p><strong><a class="alink" href="https://sourceforge.net/p/jedit/patches/645/">[patches:#645]</a> Standardize notable color properties wrt. getColorHexString</strong></p>
<p><strong>Status:</strong> open<br/>
<strong>Group:</strong> <br/>
<strong>Created:</strong> Tue May 20, 2025 09:46 AM UTC by Makarius<br/>
<strong>Last Updated:</strong> Tue May 20, 2025 09:46 AM UTC<br/>
<strong>Owner:</strong> nobody<br/>
<strong>Attachments:</strong></p>
<ul>
<li><a class="" href="https://sourceforge.net/p/jedit/patches/645/attachment/a.patch">a.patch</a> (4.3 kB; text/x-patch)</li>
</ul>
<p>This is an attempt to reduce redundant entries in user properties (file "properties" in the settings directory).</p>
<p>The problem is that color defaults use RGB without ALPHA, but SyntaxUtilities.getColorHexString() will add a prefix "#ff" for that. Thus most color properties end up in the user properties file, even without an actual change of the value.</p>
<p>The patch adjusts the default jEdit colors to coincide with the ARGB format of SyntaxUtilities.getColorHexString(). Note that this does not cover plugin properties: that would require more profound changes, for example to have getColorHexString() omit a redundant "#ff" prefix.</p>
<hr/>
<p>Sent from sourceforge.net because [email protected] is subscribed to <a href="https://sourceforge.net/p/jedit/patches/">https://sourceforge.net/p/jedit/patches/</a></p>
<p>To unsubscribe from further messages, a project admin can change settings at <a href="https://sourceforge.net/p/jedit/admin/patches/options.">https://sourceforge.net/p/jedit/admin/patches/options.</a>  Or, if this is a mailing list, you can unsubscribe from the mailing list.</p></div>
--===============3490483583912609115==--

--===============5639487178925513552==--


--===============5042157912048190977==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline


--===============5042157912048190977==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel

--===============5042157912048190977==--