massive update, probably broken
[dotfiles/.git] / .config / coc / extensions / node_modules / coc-json / node_modules / vscode-languageserver-protocol / lib / common / protocol.configuration.js
1 "use strict";
2 /* --------------------------------------------------------------------------------------------
3  * Copyright (c) Microsoft Corporation. All rights reserved.
4  * Licensed under the MIT License. See License.txt in the project root for license information.
5  * ------------------------------------------------------------------------------------------ */
6 Object.defineProperty(exports, "__esModule", { value: true });
7 exports.ConfigurationRequest = void 0;
8 const messages_1 = require("./messages");
9 /**
10  * The 'workspace/configuration' request is sent from the server to the client to fetch a certain
11  * configuration setting.
12  *
13  * This pull model replaces the old push model were the client signaled configuration change via an
14  * event. If the server still needs to react to configuration changes (since the server caches the
15  * result of `workspace/configuration` requests) the server should register for an empty configuration
16  * change event and empty the cache if such an event is received.
17  */
18 var ConfigurationRequest;
19 (function (ConfigurationRequest) {
20     ConfigurationRequest.type = new messages_1.ProtocolRequestType('workspace/configuration');
21 })(ConfigurationRequest = exports.ConfigurationRequest || (exports.ConfigurationRequest = {}));
22 //# sourceMappingURL=protocol.configuration.js.map