01: /*
02: * Copyright Javelin Software, All rights reserved.
03: */
04:
05: package com.javelin.swinglets.plaf.javascript;
06:
07: import java.awt.*;
08: import java.util.*;
09: import java.io.*;
10:
11: import com.javelin.swinglets.*;
12: import com.javelin.swinglets.plaf.*;
13: import com.javelin.swinglets.plaf.html.*;
14:
15: /**
16: * JSCharacterUI defines a look and feel for default Java Script.
17: * <p>
18: * This class displays special characters.
19: *
20: * @author Robin Sharp
21: */
22:
23: public class JSCharacterUI extends HTMLCharacterUI {
24: }
|