Is it possible to use the character '*' in a label for a WidgetLocator?
In most texteditors the label of the textwindow is equal to the name of the opened file. If the textfile is dirty a '*' is added at the beginning of the label.
If i try to register a new widget with the label '*test' i get this err-log:
java.util.regex.PatternSyntaxException: Dangling meta character '*' near index 0
*test
^
at java.util.regex.Pattern.error(Unknown Source)
at java.util.regex.Pattern.sequence(Unknown Source)
at java.util.regex.Pattern.expr(Unknown Source)
at java.util.regex.Pattern.compile(Unknown Source)
at java.util.regex.Pattern.<init>(Unknown Source)
...
Is it possible to use Wildcards for names or labels in the WidgetLocator?