Hi All,
Please review a fix for an issue where it is seen that the splitpane
divider is not seen for GTK3 in ubuntu18.04, 19.04, oel7.5.
Due to change in style handling for many widgets from gtk3.20, many
widgets was not rendered correctly of which we had solved many in
http://hg.openjdk.java.net/jdk/jdk/rev/76668d618a99
but JSplitPane was not rectified.
It was seen that from
https://developer.gnome.org/gtk3/stable/GtkVPaned.html#gtk-vpaned-new
and https://developer.gnome.org/gtk3/stable/GtkHPaned.html#gtk-hpaned-new
that GtkHPaned and GtkVPaned has been deprecated and we should use
GtkPaned instead.
Proposed fix makes sure that we use GtkPaned for JSplitpane and also
adjust the position of the handle/splitpane divider in render_handle()
method to make sure it is visible.
With this change, we can now see a thin line between the pane as is
observed via native gtk program.
Bug:https://bugs.openjdk.java.net/browse/JDK-8225423
webrev: http://cr.openjdk.java.net/~psadhukhan/8225423/webrev.0/
Snapshot Before fix and After fix is shown Before Fix
<http://cr.openjdk.java.net/~psadhukhan/8225423/beforefix.png>and After
Fix <http://cr.openjdk.java.net/~psadhukhan/8225423/afterfix.png>
Regards
Prasanta
