| | |
|---|
| | | // skip non-annotated tags
|
|---|
| | | continue;
|
|---|
| | | }
|
|---|
| | | if (!tags.containsKey(tag.getObjectId().getName())) {
|
|---|
| | | if (!tags.containsKey(tag.getReferencedObjectId().getName())) {
|
|---|
| | | tags.put(tag.getReferencedObjectId().getName(), new ArrayList<String>());
|
|---|
| | | }
|
|---|
| | | tags.get(tag.getReferencedObjectId().getName()).add(tag.displayName);
|
|---|
| | |
|---|
| | | }
|
|---|
| | |
|
|---|
| | | // finished
|
|---|
| | | reader.release();
|
|---|
| | | reader.close();
|
|---|
| | |
|
|---|
| | | // commit all changes and reset the searcher
|
|---|
| | | config.setInt(CONF_INDEX, null, CONF_VERSION, INDEX_VERSION);
|
|---|
| | |
|---|
| | | content = "";
|
|---|
| | | }
|
|---|
| | |
|
|---|
| | | int tabLength = storedSettings.getInteger(Keys.web.tabLength, 4);
|
|---|
| | | int fragmentLength = SearchObjectType.commit == result.type ? 512 : 150;
|
|---|
| | |
|
|---|
| | | QueryScorer scorer = new QueryScorer(query, "content");
|
|---|
| | |
|---|
| | | if (fragment.length() > fragmentLength) {
|
|---|
| | | fragment = fragment.substring(0, fragmentLength) + "...";
|
|---|
| | | }
|
|---|
| | | return "<pre class=\"text\">" + StringUtils.escapeForHtml(fragment, true) + "</pre>";
|
|---|
| | | return "<pre class=\"text\">" + StringUtils.escapeForHtml(fragment, true, tabLength) + "</pre>";
|
|---|
| | | }
|
|---|
| | |
|
|---|
| | | // make sure we have unique fragments
|
|---|
