products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Text/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Reverse_Selection.bsh   Sprache: Unknown

Spracherkennung für: .bsh vermutete Sprache: Shell {Shell[56] Lex[60] C[63]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/*
 * Reverse_Selection.bsh - a BeanShell macro for jEdit
 * which reverses the content of the selection 
 *
 * Copyright (C) 2013 Thomas Meyer
 *
 */

reverseSelection()
{
 selectionCount = textArea.getSelectionCount();
 if(selectionCount > 0)
 {
  selection = textArea.getSelection(0);
  text = textArea.getSelectedText(selection);
  revText = new org.gjt.sp.util.ReverseCharSequence(text);
  textArea.setSelectedText(selection, revText.toString());
 }
}

reverseSelection();

/*
 Macro index data (in DocBook format)

<listitem>
 <para><filename>Reverse_Selection.bsh</filename>
 <abstract><para>
  Reversere the content of the first selection
 </para></abstract>
</listitem>

*/

[ Dauer der Verarbeitung: 0.53 Sekunden  ]