products/sources/formale sprachen/Isabelle/Tools/jEdit/dist/jEdit/macros/Editing image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Go_to_Offset.bsh   Sprache: Unknown

Spracherkennung für: .bsh vermutete Sprache: Shell {Shell[51] C[58] BAT[198]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/*
 * Go_to_Offset.bsh - a BeanShell macro for the jEdit text
 * editor - Prompts the user for a offset position on the
 * current buffer, then moves the caret there.
 *
 * Copyright (C) 2013 Thomas Meyer
 *
 */
 



//Process
goToOffset()
{
 len = textArea.getBufferLength();
 while(true)
 {
  offset = Macros.input(view, jEdit.getProperty("macro.rs.GoToOffset.label", new Integer[] {len}));
  if(offset == null)
   return;
  else
  {
   try
   {
    offset = Integer.parseInt(offset);
    if(offset >= 0 && offset <= len)
    {
     textArea.setCaretPosition(offset);
     textArea.requestFocus();
     return;
    }
   } catch(NumberFormatException e) {
   }
  }
 }
}

goToOffset();

/*
 Macro index data (in DocBook format)

<listitem>
    <para><filename>Go_to_Offset.bsh</filename></para>
    <abstract><para>
  Prompts the user for a offset position on the 
  current buffer, then moves the caret there.
    </para></abstract>
</listitem>

*/


[ Dauer der Verarbeitung: 0.157 Sekunden  ]