Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/GUI/gui.scala
changeset 82557 a387b02b5320
parent 82556 4f7b5d76340f
child 82568 f35e82124b33
equal deleted inserted replaced
82556:4f7b5d76340f 82557:a387b02b5320 
   542   }
 
   542   }
 
   543 }
 
   543 }
 
   544 
   544 
   545 class FlatLightLaf extends GUI.Look_And_Feel(new flatlaf.FlatLightLaf)
 
   545 class FlatLightLaf extends GUI.Look_And_Feel(new flatlaf.FlatLightLaf)
 
   546 class FlatDarkLaf extends GUI.Look_And_Feel(new flatlaf.FlatDarkLaf)
 
   546 class FlatDarkLaf extends GUI.Look_And_Feel(new flatlaf.FlatDarkLaf)
 
       
   547 class FlatMacLightLaf extends GUI.Look_And_Feel(new flatlaf.themes.FlatMacLightLaf)
 
       
   548 class FlatMacDarkLaf extends GUI.Look_And_Feel(new flatlaf.themes.FlatMacDarkLaf)
isabelle