src/java.desktop/share/classes/javax/swing/RepaintManager.java
changeset 51911 57fa2c1c98d4
parent 49086 96ea4dff640e
child 52427 3c6aa484536c
equal deleted inserted replaced
51910:4b492ccc0b71 51911:57fa2c1c98d4
     1 /*
     1 /*
     2  * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
     2  * Copyright (c) 1997, 2018, Oracle and/or its affiliates. All rights reserved.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
     4  *
     4  *
     5  * This code is free software; you can redistribute it and/or modify it
     5  * This code is free software; you can redistribute it and/or modify it
     6  * under the terms of the GNU General Public License version 2 only, as
     6  * under the terms of the GNU General Public License version 2 only, as
     7  * published by the Free Software Foundation.  Oracle designates this
     7  * published by the Free Software Foundation.  Oracle designates this
  1812      * changes. Only one DisplayChangedHandler is ever installed. The
  1812      * changes. Only one DisplayChangedHandler is ever installed. The
  1813      * singleton instance will schedule notification for all AppContexts.
  1813      * singleton instance will schedule notification for all AppContexts.
  1814      */
  1814      */
  1815     private static final class DisplayChangedHandler implements
  1815     private static final class DisplayChangedHandler implements
  1816                                              DisplayChangedListener {
  1816                                              DisplayChangedListener {
  1817         // Empty non private constructor was added because access to this
       
  1818         // class shouldn't be generated by the compiler using synthetic
       
  1819         // accessor method
       
  1820         DisplayChangedHandler() {
       
  1821         }
       
  1822 
       
  1823         public void displayChanged() {
  1817         public void displayChanged() {
  1824             scheduleDisplayChanges();
  1818             scheduleDisplayChanges();
  1825         }
  1819         }
  1826 
  1820 
  1827         public void paletteChanged() {
  1821         public void paletteChanged() {