thdltools/Jskad
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Added the initial version of Tibbibl, which Nathaniel Garson of UVa

Browse source 
e-mailed to me.  Tibbibl is an editor for XML-based bibliographies of
Tibetan texts.  All I did was change the package from org.thdl.xml to
org.thdl.tib.bibl and add boilerplate; no changes to Than's code were
made.

Tibbibl features a diacritic input tool which Jskad might want to
swipe.
This commit is contained in:
dchandler 2003-02-01 05:08:02 +00:00
parent 32a08c06c3
commit 72ee4fc7d2
28 changed files with 10248 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

56
source/org/thdl/tib/bibl/ElementStyle.java Normal file
View file

@ -0,0 +1,56 @@
/*
The contents of this file are subject to the THDL Open Community License
Version 1.0 (the "License"); you may not use this file except in compliance
with the License. You may obtain a copy of the License on the THDL web site
(http://www.thdl.org/).
Software distributed under the License is distributed on an "AS IS" basis,
WITHOUT WARRANTY OF ANY KIND, either express or implied. See the
License for the specific terms governing rights and limitations under the
License.
The Initial Developer of this software is the Tibetan and Himalayan Digital
Library (THDL). Portions created by the THDL are Copyright 2001-2003 THDL.
All Rights Reserved.
Contributor(s): ______________________________________.
*/
package org.thdl.tib.bibl;
import org.jdom.*;
/**
* This wrapper class associates a String of text with a Style (as defined in {@link TibConstants}?) and a particular
* element. It is used for interactivity with the {@link TextPane} so that highlighting or clicking on a string in the
* text pane can be associated with actions for processing the text within an element.
*/
public class ElementStyle implements TibConstants
{
String style;
org.jdom.Element element;
String text;
public String getStyle()
{
return style;
}
public String getText()
{
return text;
}
public org.jdom.Element getElement()
{
return element;
}
public ElementStyle(String t, String s, org.jdom.Element e)
{
text = t;
style = s;
element = e;
}
}