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.
proper template;
authorwenzelm
Tue, 10 Jan 2017 16:09:04 +0100
changeset 64866 372c833c7660
parent 64865 778c64c17363
child 64867 e7220f4de11f
proper template;
src/Pure/PIDE/editor.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/editor.scala	Tue Jan 10 16:03:50 2017 +0100
+++ b/src/Pure/PIDE/editor.scala	Tue Jan 10 16:09:04 2017 +0100
@@ -10,7 +10,7 @@
 abstract class Editor[Context]
 {
   def session: Session
-  def flush(hidden: Boolean = true): Unit
+  def flush(hidden: Boolean = false): Unit
   def invoke(): Unit
   def invoke_generated(): Unit
   def current_context: Context
isabelle