src/Pure/GUI/gui.scala
changeset 53849 a3177973ca5e
parent 53848 8d7029eb0c31
child 53850 b1bc857f2422
equal deleted inserted replaced
53848:8d7029eb0c31 53849:a3177973ca5e
    33   }
    33   }
    34 
    34 
    35   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
    35   def init_laf(): Unit = UIManager.setLookAndFeel(get_laf())
    36 
    36 
    37   def is_macos_laf(): Boolean =
    37   def is_macos_laf(): Boolean =
       
    38     Platform.is_macos &&
    38     UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
    39     UIManager.getSystemLookAndFeelClassName() == UIManager.getLookAndFeel.getClass.getName
    39 
    40 
    40 
    41 
    41   /* simple dialogs */
    42   /* simple dialogs */
    42 
    43