Permalink
Browse files

[MIN] GUI, Editor: module pattern updated.

  • Loading branch information...
1 parent 390b98b commit 522809d809286179ac26f4523bc7ec66351498d9 @ChristianGruen ChristianGruen committed Nov 19, 2012
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/main/java/org/basex/gui/view/editor/EditorArea.java
@@ -27,7 +27,7 @@
final class EditorArea extends Editor {
/** Pattern for detecting library modules. */
private static final Pattern LIBMOD_PATTERN = Pattern.compile(
- "^(xquery( version ['\"].*?['\"])?( encoding ['\"].*?['\"])?; ?)?module namespace.*");
+ "^(xquery( version ['\"].*?['\"])?( encoding ['\"].*?['\"])? ?; ?)?module namespace.*");
/** File label. */
final BaseXLabel label;

0 comments on commit 522809d

Please sign in to comment.