1.1 --- a/src/Tools/jEdit/src/isabelle.scala	Sun Nov 25 21:35:29 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/isabelle.scala	Sun Nov 25 21:40:34 2012 +0100
     1.3 @@ -60,19 +60,6 @@
     1.4    def decrease_font_size(view: View): Unit = change_font_size(view, i => i - ((i / 10) max 1))
     1.5  
     1.6  
     1.7 -  /* full checking */
     1.8 -
     1.9 -  def check_buffer(buffer: Buffer)
    1.10 -  {
    1.11 -    PIDE.document_model(buffer) match {
    1.12 -      case None =>
    1.13 -      case Some(model) => model.full_perspective()
    1.14 -    }
    1.15 -  }
    1.16 -
    1.17 -  def cancel_execution() { PIDE.session.cancel_execution() }
    1.18 -
    1.19 -
    1.20    /* control styles */
    1.21  
    1.22    def control_sub(text_area: JEditTextArea)