--- old/src/java.desktop/share/classes/java/awt/doc-files/DesktopProperties.html 2017-10-23 13:51:01.000000000 -0700 +++ new/src/java.desktop/share/classes/java/awt/doc-files/DesktopProperties.html 2017-10-23 13:51:01.000000000 -0700 @@ -1,5 +1,11 @@ + + +
+ +Modern desktops support various forms of text antialiasing (font smoothing).
@@ -116,7 +117,7 @@
using a
PropertyChangeListener
:
-tk.addPropertyChangeListener("awt.font.desktophints", pcl);
+tk.addPropertyChangeListener("awt.font.desktophints", pcl);
Listening for changes is recommended as users can, on rare occasions,
reconfigure a desktop environment whilst applications are running
@@ -194,7 +195,7 @@
and dynamic updates will not be available. This is a typical behaviour if
the JDK does not recognise the desktop environment, or it is one which
has no such settings. The Headless toolkit is one such example.
-Therefore it is important to test against null before using the map.
+Therefore it is important to test against null before using the map.
Map
of
RenderingHints
such that every key is an instance of
@@ -229,7 +230,7 @@
the per-device property name.
This property determines if events from extra mouse buttons (if they are exist and are
enabled by the underlying operating system) are allowed to be processed and posted into
@@ -245,7 +246,7 @@
Current value could also be queried using getDesktopProperty("sun.awt.enableExtraMouseButtons")
method.
-If the property is set to {@code true} then
+If the property is set to {@code true} then