On Wed, 2 Jun 2021 06:22:44 GMT, Koichi Sakata <[email protected]> wrote:

> This pull request makes node selection more visible.
> 
> At present when selecting node, node name is bolder. In addition to that, 
> thickness of the border is bolder after applying this code.
> 
> I tested manually. Here are the images that I took before and after applying 
> this patch as follows.
> 
> ### After Applying the Code
> <img width="300" alt="スクリーンショット 2021-06-02 14 40 28" 
> src="https://user-images.githubusercontent.com/60008/120432008-425f3f00-c3b4-11eb-91ed-2f940279affd.png";><img
>  width="300" alt="スクリーンショット 2021-06-02 14 40 43" 
> src="https://user-images.githubusercontent.com/60008/120432019-44c19900-c3b4-11eb-81ad-9412869e1c28.png";>
> 
> Left: "0 Root" and "3 Start" are selected.
> Right: "0 Root" and "3 Start" are selected. "3 Start" and "7 Parm" are 
> highlighted.
> 
> <img width="200" alt="スクリーンショット 2021-06-02 14 44 04" 
> src="https://user-images.githubusercontent.com/60008/120432028-468b5c80-c3b4-11eb-8673-9172761a15b2.png";><img
>  width="200" alt="スクリーンショット 2021-06-02 14 44 11" 
> src="https://user-images.githubusercontent.com/60008/120432029-4723f300-c3b4-11eb-833e-f6cb8dd30129.png";>
> 
> Left: The upper right slot of "20 MergeMem" are selected.
> Right: The upper right slot of "20 MergeMem" are selected and highlighted.
> 
> ### Before Applying the Code
> <img width="300" alt="スクリーンショット 2021-06-02 14 41 55" 
> src="https://user-images.githubusercontent.com/60008/120432024-45f2c600-c3b4-11eb-879d-7977caaa0e39.png";><img
>  width="300" alt="スクリーンショット 2021-06-02 14 42 29" 
> src="https://user-images.githubusercontent.com/60008/120432025-45f2c600-c3b4-11eb-85ed-6dd8a0c8ff60.png";>
> 
> Left: "0 Root" and "3 Start" are selected.
> Right: "0 Root" and "3 Start" are selected. "3 Start" and "7 Parm" are 
> highlighted.

Thank you for your cooperation, Christian!

-------------

PR: https://git.openjdk.java.net/jdk/pull/4298

Reply via email to