/* * Create_Scratch_Buffer.bsh - a BeanShell macro script to rapidly create * temporary buffers in a specified directory * * Copyright (C) 2005 Jeroen Budts, http://dev.budts.be * * This program is free software; you can redistribute it and/or * modify it under the terms of the GNU General Public License * as published by the Free Software Foundation; either version 2 * of the License, or any later version. * * This program is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You can download the most recent version of this macro (and probably others) * from my DARCS repository: * $ darcs get http://dev.budts.be/darcs/jedit-macros */ /** * This macro creates a new buffer an writes a list of currently active plugins * to it. The list is formatted in DokuWiki's table syntax. */ void writePluginListToBuffer(b) { b.insert(b.getLength(), "=====Active Plugins=====\n"); EditPlugin[] plugins = jEdit.getPlugins(); b.insert(b.getLength(), "^ Plugin ^ Version ^\n"); for (int i=0; i