rendered paste body## template = jEdit Edit Rules#beanshell () context.put("mode", buffer.getMode().getName()); context.put("tabSize", buffer.getProperty("tabSize")); context.put("indentSize", buffer.getProperty("indentSize")); context.put("noTabs", buffer.getProperty("noTabs")); context.put("folding", buffer.getProperty("folding")); context.put("collapseFolds", buffer.getProperty("collapseFolds")); context.put("wrap", buffer.getProperty("wrap")); context.put("maxLineLen", buffer.getProperty("maxLineLen")); context.put("encoding", buffer.getProperty("encoding"));#endjedit edit rules | http://jedit.org: powerful, open-source (gpl) texteditor:mode=$mode:tabSize=$tabSize:indentSize=$indentSize:noTabs=$noTabs:encoding=$encoding::folding=$folding:collapseFolds=$collapseFolds:wrap=$wrap:maxLineLen=$maxLineLen: