Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
authorwenzelm
Tue, 24 Sep 2013 20:41:28 +0200
changeset 53853 e8430d668f44
parent 53852 c7707223d782
child 53854 78afb4c4e683
more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
src/Pure/GUI/color_value.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/html5_panel.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/jfx_thread.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/popup.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/swing_thread.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/system_dialog.scala file | annotate | diff | comparison | revisions
src/Pure/GUI/wrap_panel.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/color_value.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/color_value.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/color_value.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Cached color values.
--- a/src/Pure/GUI/gui.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/gui.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Basic GUI tools (for AWT/Swing).
--- a/src/Pure/GUI/html5_panel.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/html5_panel.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/html5_panel.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 HTML5 panel based on Java FX WebView.
--- a/src/Pure/GUI/jfx_thread.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/jfx_thread.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/jfx_thread.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Evaluation within the Java FX application thread.
--- a/src/Pure/GUI/popup.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/popup.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/popup.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Popup within layered pane.
--- a/src/Pure/GUI/swing_thread.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/swing_thread.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/swing_thread.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Evaluation within the AWT/Swing thread.
--- a/src/Pure/GUI/system_dialog.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/system_dialog.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/system_dialog.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Dialog for system processes, with optional output window.
--- a/src/Pure/GUI/wrap_panel.scala	Tue Sep 24 20:24:14 2013 +0200
+++ b/src/Pure/GUI/wrap_panel.scala	Tue Sep 24 20:41:28 2013 +0200
@@ -1,4 +1,5 @@
 /*  Title:      Pure/GUI/wrap_panel.scala
+    Module:     PIDE-GUI
     Author:     Makarius
 
 Panel with improved FlowLayout for wrapping of components over
isabelle