xml
Class TemplatesManager

java.lang.Object
  xml.TemplatesManager

public class TemplatesManager
extends java.lang.Object

install templates bundled with XMLPlugin into the relevant directory and tell Templates plugin to refresh the list. - Requires the Templates plugin to be installed (watch for ClassNotFoundException !) - synchronous (is wrapped in a Task in XmlPlugin)

Version:

$Id: TemplatesManager.java 21833 2012-06-18 23:30:44Z ezust $

Constructor Summary

TemplatesManager()

Method Summary

static void

installTemplates(org.gjt.sp.util.ProgressObserver observer, org.gjt.sp.jedit.PluginJAR me) Install templates in an XMLPlugin subdirectory

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TemplatesManager

public TemplatesManager()

Method Detail

installTemplates

public static void installTemplates(org.gjt.sp.util.ProgressObserver observer,
                                    org.gjt.sp.jedit.PluginJAR me)

Install templates in an XMLPlugin subdirectory