null.
- */
- public final void setLayoutData(final Object layoutData) {
- text.setLayoutData(layoutData);
- }
-
- /**
+ * * A mutator for the key sequence and incomplete stroke stored within this * widget. This does some checking to see if the incomplete stroke is * really incomplete; if it is complete, then it is rolled into the key * sequence. The text and caret position are updated. + *
+ *+ * All sequences are limited to maxStrokes number of strokes in length. + * If there are already that number of strokes, then it does not show + * incomplete strokes, and does not keep track of them. + *
* * @param newKeySequence The new key sequence for this widget; may be *null if none.
@@ -164,16 +171,42 @@
// Figure out whether the stroke should be rolled in.
if (isComplete(incompleteStroke)) {
if (newKeySequence == null) {
+ // This is guaranteed to be possible by setMaxStrokes
keySequence = KeySequence.getInstance(incompleteStroke);
} else {
final List keyStrokes = new ArrayList(newKeySequence.getKeyStrokes());
keyStrokes.add(incompleteStroke);
+ if (maxStrokes != INFINITE) {
+ final int keyStrokesSize = keyStrokes.size();
+ for (int i = keyStrokesSize - 1; i >= maxStrokes; i--) {
+ keyStrokes.remove(i);
+ }
+ }
keySequence = KeySequence.getInstance(keyStrokes);
}
temporaryStroke = null;
} else {
- keySequence = newKeySequence;
- temporaryStroke = incompleteStroke;
+ if ((newKeySequence != null) && (maxStrokes != INFINITE)) {
+ final List untrimmedKeyStrokes = newKeySequence.getKeyStrokes();
+ final int keyStrokesSize = untrimmedKeyStrokes.size();
+ if (keyStrokesSize > maxStrokes) {
+ final List keyStrokes = new ArrayList(untrimmedKeyStrokes);
+ for (int i = keyStrokesSize - 1; i >= maxStrokes; i--) {
+ keyStrokes.remove(i);
+ }
+ keySequence = KeySequence.getInstance(keyStrokes);
+ temporaryStroke = null;
+ } else if (keyStrokesSize == maxStrokes) {
+ keySequence = newKeySequence;
+ temporaryStroke = null;
+ } else {
+ keySequence = newKeySequence;
+ temporaryStroke = incompleteStroke;
+ }
+ } else {
+ keySequence = newKeySequence;
+ temporaryStroke = incompleteStroke;
+ }
}
/* Create a dummy (and rather invalid) sequence to get localized display
@@ -195,10 +228,31 @@
dummySequence = KeySequence.getInstance(keyStrokes);
}
- text.setText(/* TODO "carbon".equals(SWT.getPlatform()) ? KeySupport.formatCarbon(dummySequence) : */ dummySequence.format());
+ text.setText(/* TODO "carbon".equals(SWT.getPlatform()) ? KeySupport.formatCarbon(dummySequence) : */
+ dummySequence.format());
// Update the caret position.
text.setSelection(text.getText().length());
+ }
+
+ /**
+ * A mutator for the layout information associated with the wrapped widget.
+ * @param layoutData The layout information; must not be null.
+ */
+ public final void setLayoutData(final Object layoutData) {
+ text.setLayoutData(layoutData);
+ }
+
+ /**
+ * A mutator for the maximum number of strokes that are permitted in this
+ * widget at one time.
+ * @param maximumStrokes The maximum number of strokes; should be a positive
+ * integer or INFINITE.
+ */
+ public final void setMaxStrokes(final int maximumStrokes) {
+ if ((maximumStrokes > 0) || (maximumStrokes == INFINITE)) {
+ maxStrokes = maximumStrokes;
+ }
}
/**