products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/macros/Emacs 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: CS {CS[56] Ada[92] Abap[121]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

/**
 * Insert the contents of a file at the caret. Emulates the Emacs
 * "insert-file" command (normally bound to "Ctrl-X i").
 */

source (MiscUtilities.constructPath(dirname(scriptPath), "EmacsUtil.bsh"));

void emacsInsertFile()
{
    caret = textArea.getCaretPosition();
    
    path = buffer.getPath();
    if (path == null)
        path = ".";
    else
        path = dirname (path);
    result = GUIUtilities.showVFSFileDialog(view, path, VFSBrowser.OPEN_DIALOG, false);
    if (result != null)
        buffer.insertFile (view, result[0]);
}

emacsInsertFile();

[ Dauer der Verarbeitung: 0.73 Sekunden  ]