Mercurial Mercurial > repos > isabelle / annotate
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/Tools/jEdit/jedit_main/dockables.scala
author blanchet
Mon, 31 Jan 2022 16:09:23 +0100
changeset 75025 f741d55a81e5
parent 73996 f3409ced4df2
child 75816 91f02f224b80
permissions -rw-r--r--
thread slices through
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73994
fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff changeset 
     1
 
/*  Title:      Tools/jEdit/jedit_main/dockables.scala
fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff changeset 
     2
 
    Author:     Makarius
fbb30dac95a2 clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff changeset 
     3
 












fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




     4


Isabelle/jEdit dockables.













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




     5


*/













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




     6














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




     7


package isabelle.jedit_main













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




     8














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




     9














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    10


import org.gjt.sp.jedit.View













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    11














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    12














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    13


class Debugger_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    14


  extends isabelle.jedit.Debugger_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    15














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    16


class Documentation_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    17


  extends isabelle.jedit.Documentation_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    18














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    19


class Info_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    20


  extends isabelle.jedit.Info_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    21














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    22


class Graphview_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    23


  extends isabelle.jedit.Graphview_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    24









73996






f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    25


class Monitor_Dockable(view: View, position: String)













f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    26


  extends isabelle.jedit.Monitor_Dockable(view, position)













f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    27














f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    28


class Output_Dockable(view: View, position: String)













f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    29


  extends isabelle.jedit.Output_Dockable(view, position)













f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    30









73994






fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    31


class Protocol_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    32


  extends isabelle.jedit.Protocol_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    33














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    34


class Query_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    35


  extends isabelle.jedit.Query_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    36














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    37


class Raw_Output_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    38


  extends isabelle.jedit.Raw_Output_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    39














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    40


class Simplifier_Trace_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    41


  extends isabelle.jedit.Simplifier_Trace_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    42














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    43


class Sledgehammer_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    44


  extends isabelle.jedit.Sledgehammer_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    45














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    46


class State_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    47


  extends isabelle.jedit.State_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    48









73996






f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    49


class Symbols_Dockable(view: View, position: String)













f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    50


  extends isabelle.jedit.Symbols_Dockable(view, position)













f3409ced4df2
more complete dockables;



wenzelm


parents: 
73994

diff
changeset




    51









73994






fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    52


class Syslog_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    53


  extends isabelle.jedit.Syslog_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    54














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    55


class Theories_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    56


  extends isabelle.jedit.Theories_Dockable(view, position)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    57














fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    58


class Timing_Dockable(view: View, position: String)













fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;



wenzelm


parents: 

diff
changeset




    59


  extends isabelle.jedit.Timing_Dockable(view, position)















isabelle