Package pal.gui

GUI components for some special objects (e.g., trees).