mirror of
https://github.com/gorhill/uBlock.git
synced 2026-03-11 09:04:36 +00:00
Before this commit, CodeMirror's add-on for search occurrences was limited to find at most 1000 first occurrences, because of performance considerations. This commit removes this low limit by having the search occurrences done in a dedicated worker. The limit is now time-based, and highly unlikely to ever be hit under normal condition. With this change, all search occurrences are gathered, and as a result: - All occurrences are reported in the scrollbar instead of just the 1,000 first - The total count of all occurrences is now reported, instead of capping at "1000+". - The current occurrence rank at the cursor or selection position is now reported -- this was not possible to report this before. The number of occurrences is line-based, it's not useful to report finer-grained occurences in uBO.
56 lines
1.9 KiB
HTML
56 lines
1.9 KiB
HTML
<!DOCTYPE html>
|
|
<html>
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
<title data-i18n="assetViewerPageName"></title>
|
|
<link rel="stylesheet" href="lib/codemirror/lib/codemirror.css">
|
|
<link rel="stylesheet" href="lib/codemirror/addon/fold/foldgutter.css">
|
|
<link rel="stylesheet" href="lib/codemirror/addon/search/matchesonscrollbar.css">
|
|
<link rel="stylesheet" type="text/css" href="css/themes/default.css">
|
|
<link rel="stylesheet" href="css/common.css">
|
|
<link rel="stylesheet" href="css/fa-icons.css">
|
|
<link rel="stylesheet" href="css/codemirror.css">
|
|
<link rel="shortcut icon" type="image/png" href="img/icon_32.png"/>
|
|
<style>
|
|
body {
|
|
border: 0;
|
|
margin: 0;
|
|
overflow: hidden;
|
|
padding: 0;
|
|
}
|
|
#content {
|
|
height: 100vh;
|
|
width: 100vw;
|
|
}
|
|
</style>
|
|
</head>
|
|
<body>
|
|
|
|
<div id="content" class="codeMirrorContainer codeMirrorBreakAll"></div>
|
|
|
|
<script src="lib/codemirror/lib/codemirror.js"></script>
|
|
<script src="lib/codemirror/addon/display/panel.js"></script>
|
|
<script src="lib/codemirror/addon/edit/matchbrackets.js"></script>
|
|
<script src="lib/codemirror/addon/fold/foldcode.js"></script>
|
|
<script src="lib/codemirror/addon/fold/foldgutter.js"></script>
|
|
<script src="lib/codemirror/addon/scroll/annotatescrollbar.js"></script>
|
|
<script src="lib/codemirror/addon/search/searchcursor.js"></script>
|
|
<script src="lib/codemirror/addon/selection/active-line.js"></script>
|
|
|
|
<script src="js/codemirror/search.js"></script>
|
|
<script src="js/codemirror/search-thread.js"></script>
|
|
<script src="js/codemirror/ubo-static-filtering.js"></script>
|
|
|
|
<script src="js/fa-icons.js"></script>
|
|
<script src="js/vapi.js"></script>
|
|
<script src="js/vapi-common.js"></script>
|
|
<script src="js/vapi-client.js"></script>
|
|
<script src="js/udom.js"></script>
|
|
<script src="js/i18n.js"></script>
|
|
<script src="js/dashboard-common.js"></script>
|
|
<script src="js/static-filtering-parser.js"></script>
|
|
<script src="js/asset-viewer.js"></script>
|
|
|
|
</body>
|
|
</html>
|