Makarius | 25 May 00:30 2015
Picon

[jedit:bugs] #3919 jEdit.initPLAF does not re-init Metal after change of properties

[bugs:#3919] jEdit.initPLAF does not re-init Metal after change of properties

Status: open
Group: minor bug
Created: Sun May 24, 2015 10:30 PM UTC by Makarius
Last Updated: Sun May 24, 2015 10:30 PM UTC
Owner: nobody

A long time ago, the change of the L&F always required to restart jEdit, but jEdit.initPLAF() has become more ambitious in this respect.

This leads to a slight disappointment with Metal, if that is already enabled and only its primary/secondary font properties are changed. In that case the L&F remains unchanged, and a full restart is required to see any effect.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net is subscribed to https://sourceforge.net/p/jedit/bugs/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 25 May 00:00 2015
Picon

DPI scaling in Windows

On Sun, 24 May 2015, Makarius wrote:

> Note that the testing of font-scaling in jEdit can be done in various
> ways, even without a 4K or other HDPI display:
>
>   * Metal look-and-feel with rather big primary and secondary font, on any
>     platform.
>
>   * Windows look-and-feel with global text scaling enabled: the maximum
>     for Windows 7 is 150% where the effect is only barely visible, but in
>     Windows 8.1 200% or 250% exhibit GUI problems quite prominently.

The Windows registry key is HKEY_CURRENT_USER\Control Panel\Desktop -- it 
can be made larger than 144 (150%) even on Windows 7.  Recommended values 
to simulate 4K displays are 180 (200%) or 225 (250%).

 	Makarius

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel

Alan Ezust | 24 May 20:19 2015
Picon

Makarius : you can commit if you want.

You have my permission to commit directly to jEdit core and plugins for small fixes such as those you recently did related to 4k displays, if you think these changes are not necessary for me to review. Personally, I am having other difficulties using my display in 4k mode so I switched back to regular HD for now and I am unable to personally test your changes yet.

However, if you commit directly, I request you document your changes in the CHANGES.txt in a consistent way to how I've been doing it and also provide good descriptive commit log messages.  Let me know if you are having difficulty with your initial commits.


Regards,

Alan Ezust

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 22 May 22:44 2015
Picon

[jedit:patches] #563 Proper row height default for JTable subclass

[patches:#563] Proper row height default for JTable subclass

Status: open
Group:
Created: Fri May 22, 2015 08:44 PM UTC by Makarius
Last Updated: Fri May 22, 2015 08:44 PM UTC
Owner: nobody

This is an add-on for #557, to cover of subclass of JTable, too.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 22 May 22:07 2015
Picon

[jedit:patches] #562 Proper row height default for JTree subclasses

[patches:#562] Proper row height default for JTree subclasses

Status: open
Group:
Created: Fri May 22, 2015 08:07 PM UTC by Makarius
Last Updated: Fri May 22, 2015 08:07 PM UTC
Owner: nobody

This is an add-on for #559: some subclasses of JTree were not covered yet.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Thiemo Kellner | 21 May 17:26 2015
Picon

[jedit:patches] #561 Macro to extract most relevant data from ICem log

[patches:#561] Macro to extract most relevant data from ICem log

Status: open
Group:
Labels: Macro
Created: Thu May 21, 2015 03:26 PM UTC by Thiemo Kellner
Last Updated: Thu May 21, 2015 03:26 PM UTC
Owner: nobody

Please find attached a macro to extract most relevant data from deployment log of ICem http://test.infodyn.de/en/produkte/ic-environment-manager/

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 21 May 00:19 2015
Picon

[jedit:patches] #560 More conventional color scheme for diffs and changesets

[patches:#560] More conventional color scheme for diffs and changesets

Status: open
Group:
Created: Wed May 20, 2015 10:19 PM UTC by Makarius
Last Updated: Wed May 20, 2015 10:19 PM UTC
Owner: nobody

This is my reformed version of patch.xml to make it appear more like the diffs and changesets we see today in git, Mercurial etc. In particular, the red-green scheme is now more or less standard. Although we depend here on an implicit assumption that the original jEdit colors for COMMENT1 and LABEL are used.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Alan Ezust | 21 May 00:19 2015
Picon

new release plan: 5.3.0, 5.3.1, etc.

Matthieu and I talked about how to do jEdit releases in the future. We both are tired of waiting for the ".0" to come out after the "pre".

Since jEdit is not under really active development anymore, and we are just rolling in patches and bugfixes from the community, it might make more sense to just stop bothering with the stabilization phase, and release 5.3.0 next, 5.3.1 after that, and 5.3.2, etc.

So since Matthieu and I both agree, that is 2 in favor. Any against?

I will continue accepting patches submitted in May and let's target to release 5.3.0 in early to mid June.


--Alan


------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 21 May 00:11 2015
Picon

[jedit:patches] #559 Proper row height default for JTree

[patches:#559] Proper row height default for JTree

Status: open
Group:
Created: Wed May 20, 2015 10:11 PM UTC by Makarius
Last Updated: Wed May 20, 2015 10:11 PM UTC
Owner: nobody

The subsequent patch is for properly scaled JTree row height: 0 means the individual cell height based on the actual font is used. See also the official API docs http://docs.oracle.com/javase/7/docs/api

The effect is particularly visible on Windows 8.1 with text font scaling beyond 150% which is commonplace on 4K displays.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 20 May 21:38 2015
Picon

[jedit:patches] #558 Proper L&F font for syntax style table

[patches:#558] Proper L&F font for syntax style table

Status: open
Group:
Created: Wed May 20, 2015 07:38 PM UTC by Makarius
Last Updated: Wed May 20, 2015 07:38 PM UTC
Owner: nobody

The included patch (for trunk version 23917) uses the standard L&F font for syntax style table content. Avoiding a hardwired default improves GUI scaling, which is especially important on 4K displays.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Makarius | 20 May 20:51 2015
Picon

[jedit:patches] #557 Proper row height default for JTable

[patches:#557] Proper row height default for JTable

Status: open
Group:
Created: Wed May 20, 2015 06:51 PM UTC by Makarius
Last Updated: Wed May 20, 2015 06:51 PM UTC
Owner: nobody

The row height default for JTable is hardwired to 16 pixels, see also the comment http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/javax/swing/plaf/basic/BasicTableUI.java#l1402

The included patch (for trunk version 23917) provides proper defaults based on UI font properties etc. This is particularly relevant for high-resolition displays (e.g. 4K). It can be tested with the Metal L&F with primary/secondary fonts at 30 pixels.

Sent from sourceforge.net because jedit-devel <at> lists.sourceforge.net 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.

------------------------------------------------------------------------------
One dashboard for servers and applications across Physical-Virtual-Cloud 
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
--

-- 
-----------------------------------------------
jEdit Developers' List
jEdit-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-devel

Gmane