protected Picture _createPicture(int[] b, int w, int h) { return null; }
/** should return true if it is safe to supress full-surface dirties immediately after a window resize */
- protected boolean _supressDirtyOnResize() { return true; }
+ protected boolean _supressDirtyOnResize() { return false; }
/** the human-readable name of the key mapped to XWT's 'alt' key */
protected String _altKeyName() { return "alt"; }
/** if true, org.xwt.Surface will generate a Click automatically after a press and a release */
protected boolean _needsAutoClick() { return false; }
+ /** if true, org.xwt.Surface will generate a DoubleClick automatically after recieving two clicks in a short period of time */
+ protected boolean _needsAutoDoubleClick() { return false; }
+
protected void _newBrowserWindow(String url) {
if (Log.on) Log.log(this, "Platform " + platform.getClass().getName() + " cannot open browser windows");
return;
/** Returns null if XWT should always use direct connection; otherwise returns a ProxyInfo object with proxy settings */
protected synchronized HTTP.ProxyInfo _detectProxy() { return null; }
+ /** displays a platform-specific "open file" dialog and returns the chosen filename */
+ protected String _fileDialog(String suggestedFileName, boolean write) { return null; }
+
+ /** returns true iff the platform has a case-sensitive filesystem */
+ protected boolean _isCaseSensitive() { return true; }
+
+
// Static methods -- thunk to the instance /////////////////////////////////////////////////////////////////////////
/** if true, org.xwt.Surface should generate Click messages automatically when a Release happens after a Press and the mouse has not moved much */
public static boolean needsAutoClick() { return platform._needsAutoClick(); }
+ /** if true, org.xwt.Surface should generate DoubleClick messages automatically when needed */
+ public static boolean needsAutoDoubleClick() { return platform._needsAutoDoubleClick(); }
+
/** should return true if it is safe to supress full-surface dirties immediately after a window resize */
public static String getDefaultFont() { return platform._getDefaultFont(); }
/** creates and returns a picture */
public static Picture createPicture(ImageDecoder i) { return platform._createPicture(i.getData(), i.getWidth(), i.getHeight()); }
+ /** returns true iff the platform has a case-sensitive filesystem */
+ public static boolean isCaseSensitive() { return platform._isCaseSensitive(); }
+
+ /** displays a platform-specific "open file" dialog and returns the chosen filename */
+ public static String fileDialog(String suggestedFileName, boolean write) {
+ // put ourselves in the background
+ Thread thread = Thread.currentThread();
+ if (!(thread instanceof ThreadMessage)) {
+ if (Log.on) Log.log(Platform.class, "xwt.openFile may only be called from background threads");
+ return null;
+ }
+ ThreadMessage mythread = (ThreadMessage)thread;
+ mythread.setPriority(Thread.MIN_PRIORITY);
+ mythread.done.release();
+
+ try {
+ return platform._fileDialog(suggestedFileName, write);
+ } finally {
+ // okay, let ourselves be brought to the foreground
+ MessageQueue.add(mythread);
+ mythread.setPriority(Thread.NORM_PRIORITY);
+ mythread.go.block();
+ }
+ }
+
/** opens a new browser window */
public static void newBrowserWindow(String url) {
if (!(url.startsWith("https://") || url.startsWith("http://") || url.startsWith("ftp://") || url.startsWith("mailto:"))) {
public void parse(String font) {
int i = 0;
- while(i < font.length() && !Character.isDigit(font.charAt(i))) i++;
+ while(i < font.length() && !Character.isDigit(font.charAt(i)) && font.charAt(i) != '*') i++;
name = font.substring(0, i).toLowerCase().replace('_', ' ');
size = 10;
italic = false;
underline = false;
dotted_underline = false;
if (i != font.length()) {
- int j = i;
- while (j < font.length() && Character.isDigit(font.charAt(j))) j++;
- if (i != j) size = stoi(font.substring(i, j));
- i = j;
+ if (font.charAt(i) == '*') {
+ size = 0;
+ i++;
+ } else {
+ int j = i;
+ while (j < font.length() && Character.isDigit(font.charAt(j))) j++;
+ if (i != j) size = stoi(font.substring(i, j));
+ i = j;
+ }
while(i < font.length()) {
switch (font.charAt(i)) {
case 'b': bold = true; break;