修改了页码条和全局搜索

Tcsm

2023-10-22 2e6f6f75016d024684653b521766c8834d819d98

1
2
3
4
5
6
7
8
9
'use strict';
 
var CompletionRecord = require('./CompletionRecord');
 
// https://262.ecma-international.org/6.0/#sec-normalcompletion
 
module.exports = function NormalCompletion(value) {
    return new CompletionRecord('normal', value);
};