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: CharsetTest.java   Sprache: Unknown

rahmenlose Ansicht.bsh DruckansichtLex {Lex[43] C[73] BAT[137]}Entwicklung

/*
 * 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>

*/


[ Verzeichnis aufwärts0.52unsichere Verbindung  ]