| | |
|---|
| | | 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
|
|---|
