textui/descriptors/charva.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <!DOCTYPE plugin SYSTEM "jnode.dtd">
   3
   4 <plugin id="charva"
   5         name="Text mode widgets for JNode"
   6         version="1.0.1"
   7         provider-name="Rob Pitman"
   8         provider-url="http://www.pitman.co.za/projects/charva/"
   9         license-name="lgpl">
  10
  11   <requires>
  12     <import plugin="org.jnode.driver.console.core"/>
  13     <import plugin="org.jnode.driver.console"/>
  14   </requires>
  15
  16   <runtime>
  17     <library name="jnode-textui.jar">
  18       <export name="charva.awt.*"/>
  19       <export name="charva.awt.event.*"/>
  20       <export name="charva.awt.util.*"/>
  21       <export name="charvax.swing.*"/>
  22       <export name="charvax.swing.border.*"/>
  23       <export name="charvax.swing.event.*"/>
  24       <export name="charvax.swing.filechooser.*"/>
  25       <export name="charvax.swing.table.*"/>
  26       <export name="charvax.swing.text.*"/>
  27       <export name="charvax.swing.tree.*"/>
  28     </library>
  29   </runtime>
  30
  31   <extension point="org.jnode.security.permissions">
  32     <permission class="java.util.PropertyPermission" name="user.home" actions="read"/>
  33     <permission class="java.security.AllPermission" />
  34   </extension>
  35 </plugin>