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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Copy_Name_to_Clipboard.bsh   Sprache: Unknown

Spracherkennung für: .bsh vermutete Sprache: Lex {Lex[43] C[73] BAT[137]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/*
 * Copy_Name_to_Clipboad.bsh - Copies the current buffer's filename
 * to the clipboard.
 *
 * Copyright (C) 2002-2004 Ollie Rutherfurd <[email protected]>
 *
 * $Id: Copy_Name_to_Clipboard.bsh 5016 2004-04-09 17:10:15Z spestov $
 */

void copyBufferNameToClipboard(Buffer buffer)
{
 Registers.setRegister('$',buffer.getName());
 HistoryModel.getModel("clipboard").addItem(buffer.getName());
}

copyBufferNameToClipboard(buffer);

/*

<listitem>
 <para><filename>Copy_Name_to_Clipboad.bsh</filename></para>
 <abstract><para>Copies the current buffer's filename
  to the clipboard.
 </para></abstract>
</listitem>

*/

[ Dauer der Verarbeitung: 0.49 Sekunden  ]