lean4monaco 1.0.46 → 1.1.0

package/dist/lean4-infoview/react.production.min.js

@@ -0,0 +1 @@
+function e(e,t){return t.forEach((function(t){t&&"string"!=typeof t&&!Array.isArray(t)&&Object.keys(t).forEach((function(r){if("default"!==r&&!(r in e)){var n=Object.getOwnPropertyDescriptor(t,r);Object.defineProperty(e,r,n.get?n:{enumerable:!0,get:function(){return t[r]}})}}))})),Object.freeze(e)}function t(e){return e&&e.__esModule&&Object.prototype.hasOwnProperty.call(e,"default")?e.default:e}var r={},n={get exports(){return r},set exports(e){r=e}},o={},u=Symbol.for("react.element"),a=Symbol.for("react.portal"),c=Symbol.for("react.fragment"),f=Symbol.for("react.strict_mode"),i=Symbol.for("react.profiler"),s=Symbol.for("react.provider"),l=Symbol.for("react.context"),p=Symbol.for("react.forward_ref"),y=Symbol.for("react.suspense"),d=Symbol.for("react.memo"),_=Symbol.for("react.lazy"),m=Symbol.iterator;var b={isMounted:function(){return!1},enqueueForceUpdate:function(){},enqueueReplaceState:function(){},enqueueSetState:function(){}},h=Object.assign,v={};function S(e,t,r){this.props=e,this.context=t,this.refs=v,this.updater=r||b}function E(){}function R(e,t,r){this.props=e,this.context=t,this.refs=v,this.updater=r||b}S.prototype.isReactComponent={},S.prototype.setState=function(e,t){if("object"!=typeof e&&"function"!=typeof e&&null!=e)throw Error("setState(...): takes an object of state variables to update or a function which returns an object of state variables.");this.updater.enqueueSetState(this,e,t,"setState")},S.prototype.forceUpdate=function(e){this.updater.enqueueForceUpdate(this,e,"forceUpdate")},E.prototype=S.prototype;var C=R.prototype=new E;C.constructor=R,h(C,S.prototype),C.isPureReactComponent=!0;var w=Array.isArray,O=Object.prototype.hasOwnProperty,g={current:null},k={key:!0,ref:!0,__self:!0,__source:!0};function $(e,t,r){var n,o={},a=null,c=null;if(null!=t)for(n in void 0!==t.ref&&(c=t.ref),void 0!==t.key&&(a=""+t.key),t)O.call(t,n)&&!k.hasOwnProperty(n)&&(o[n]=t[n]);var f=arguments.length-2;if(1===f)o.children=r;else if(1<f){for(var i=Array(f),s=0;s<f;s++)i[s]=arguments[s+2];o.children=i}if(e&&e.defaultProps)for(n in f=e.defaultProps)void 0===o[n]&&(o[n]=f[n]);return{$$typeof:u,type:e,key:a,ref:c,props:o,_owner:g.current}}function j(e){return"object"==typeof e&&null!==e&&e.$$typeof===u}var x=/\/+/g;function P(e,t){return"object"==typeof e&&null!==e&&null!=e.key?function(e){var t={"=":"=0",":":"=2"};return"$"+e.replace(/[=:]/g,(function(e){return t[e]}))}(""+e.key):t.toString(36)}function I(e,t,r,n,o){var c=typeof e;"undefined"!==c&&"boolean"!==c||(e=null);var f=!1;if(null===e)f=!0;else switch(c){case"string":case"number":f=!0;break;case"object":switch(e.$$typeof){case u:case a:f=!0}}if(f)return o=o(f=e),e=""===n?"."+P(f,0):n,w(o)?(r="",null!=e&&(r=e.replace(x,"$&/")+"/"),I(o,t,r,"",(function(e){return e}))):null!=o&&(j(o)&&(o=function(e,t){return{$$typeof:u,type:e.type,key:t,ref:e.ref,props:e.props,_owner:e._owner}}(o,r+(!o.key||f&&f.key===o.key?"":(""+o.key).replace(x,"$&/")+"/")+e)),t.push(o)),1;if(f=0,n=""===n?".":n+":",w(e))for(var i=0;i<e.length;i++){var s=n+P(c=e[i],i);f+=I(c,t,r,s,o)}else if(s=function(e){return null===e||"object"!=typeof e?null:"function"==typeof(e=m&&e[m]||e["@@iterator"])?e:null}(e),"function"==typeof s)for(e=s.call(e),i=0;!(c=e.next()).done;)f+=I(c=c.value,t,r,s=n+P(c,i++),o);else if("object"===c)throw t=String(e),Error("Objects are not valid as a React child (found: "+("[object Object]"===t?"object with keys {"+Object.keys(e).join(", ")+"}":t)+"). If you meant to render a collection of children, use an array instead.");return f}function T(e,t,r){if(null==e)return e;var n=[],o=0;return I(e,n,"","",(function(e){return t.call(r,e,o++)})),n}function D(e){if(-1===e._status){var t=e._result;(t=t()).then((function(t){0!==e._status&&-1!==e._status||(e._status=1,e._result=t)}),(function(t){0!==e._status&&-1!==e._status||(e._status=2,e._result=t)})),-1===e._status&&(e._status=0,e._result=t)}if(1===e._status)return e._result.default;throw e._result}var V={current:null},A={transition:null},L={ReactCurrentDispatcher:V,ReactCurrentBatchConfig:A,ReactCurrentOwner:g};o.Children={map:T,forEach:function(e,t,r){T(e,(function(){t.apply(this,arguments)}),r)},count:function(e){var t=0;return T(e,(function(){t++})),t},toArray:function(e){return T(e,(function(e){return e}))||[]},only:function(e){if(!j(e))throw Error("React.Children.only expected to receive a single React element child.");return e}},o.Component=S,o.Fragment=c,o.Profiler=i,o.PureComponent=R,o.StrictMode=f,o.Suspense=y,o.__SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED=L,o.cloneElement=function(e,t,r){if(null==e)throw Error("React.cloneElement(...): The argument must be a React element, but you passed "+e+".");var n=h({},e.props),o=e.key,a=e.ref,c=e._owner;if(null!=t){if(void 0!==t.ref&&(a=t.ref,c=g.current),void 0!==t.key&&(o=""+t.key),e.type&&e.type.defaultProps)var f=e.type.defaultProps;for(i in t)O.call(t,i)&&!k.hasOwnProperty(i)&&(n[i]=void 0===t[i]&&void 0!==f?f[i]:t[i])}var i=arguments.length-2;if(1===i)n.children=r;else if(1<i){f=Array(i);for(var s=0;s<i;s++)f[s]=arguments[s+2];n.children=f}return{$$typeof:u,type:e.type,key:o,ref:a,props:n,_owner:c}},o.createContext=function(e){return(e={$$typeof:l,_currentValue:e,_currentValue2:e,_threadCount:0,Provider:null,Consumer:null,_defaultValue:null,_globalName:null}).Provider={$$typeof:s,_context:e},e.Consumer=e},o.createElement=$,o.createFactory=function(e){var t=$.bind(null,e);return t.type=e,t},o.createRef=function(){return{current:null}},o.forwardRef=function(e){return{$$typeof:p,render:e}},o.isValidElement=j,o.lazy=function(e){return{$$typeof:_,_payload:{_status:-1,_result:e},_init:D}},o.memo=function(e,t){return{$$typeof:d,type:e,compare:void 0===t?null:t}},o.startTransition=function(e){var t=A.transition;A.transition={};try{e()}finally{A.transition=t}},o.unstable_act=function(){throw Error("act(...) is not supported in production builds of React.")},o.useCallback=function(e,t){return V.current.useCallback(e,t)},o.useContext=function(e){return V.current.useContext(e)},o.useDebugValue=function(){},o.useDeferredValue=function(e){return V.current.useDeferredValue(e)},o.useEffect=function(e,t){return V.current.useEffect(e,t)},o.useId=function(){return V.current.useId()},o.useImperativeHandle=function(e,t,r){return V.current.useImperativeHandle(e,t,r)},o.useInsertionEffect=function(e,t){return V.current.useInsertionEffect(e,t)},o.useLayoutEffect=function(e,t){return V.current.useLayoutEffect(e,t)},o.useMemo=function(e,t){return V.current.useMemo(e,t)},o.useReducer=function(e,t,r){return V.current.useReducer(e,t,r)},o.useRef=function(e){return V.current.useRef(e)},o.useState=function(e){return V.current.useState(e)},o.useSyncExternalStore=function(e,t,r){return V.current.useSyncExternalStore(e,t,r)},o.useTransition=function(){return V.current.useTransition()},o.version="18.2.0",n.exports=o;var F=e({__proto__:null,default:t(r)},[r]),U=r.Children,M=r.Component,N=r.Fragment,q=r.Profiler,z=r.PureComponent,B=r.StrictMode,H=r.Suspense,W=r.__SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED,Y=r.cloneElement,G=r.createContext,J=r.createElement,K=r.createFactory,Q=r.createRef,X=r.forwardRef,Z=r.isValidElement,ee=r.lazy,te=r.memo,re=r.startTransition,ne=r.unstable_act,oe=r.useCallback,ue=r.useContext,ae=r.useDebugValue,ce=r.useDeferredValue,fe=r.useEffect,ie=r.useId,se=r.useImperativeHandle,le=r.useInsertionEffect,pe=r.useLayoutEffect,ye=r.useMemo,de=r.useReducer,_e=r.useRef,me=r.useState,be=r.useSyncExternalStore,he=r.useTransition,ve=r.version;export{U as Children,M as Component,N as Fragment,q as Profiler,z as PureComponent,B as StrictMode,H as Suspense,W as __SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED,Y as cloneElement,G as createContext,J as createElement,K as createFactory,Q as createRef,F as default,X as forwardRef,Z as isValidElement,ee as lazy,te as memo,re as startTransition,ne as unstable_act,oe as useCallback,ue as useContext,ae as useDebugValue,ce as useDeferredValue,fe as useEffect,ie as useId,se as useImperativeHandle,le as useInsertionEffect,pe as useLayoutEffect,ye as useMemo,de as useReducer,_e as useRef,me as useState,be as useSyncExternalStore,he as useTransition,ve as version};

package/dist/leanmonaco.js

@@ -6,7 +6,6 @@ import { AbbreviationFeature } from './vscode-lean4/vscode-lean4/src/abbreviatio
 import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { setupMonacoClient } from './monacoleanclient';
-import { checkLean4ProjectPreconditions } from './preconditions';
 import { initialize, getService, IThemeService, IConfigurationService } from 'vscode/services';
 import getConfigurationServiceOverride from '@codingame/monaco-vscode-configuration-service-override';
 import getTextmateServiceOverride from '@codingame/monaco-vscode-textmate-service-override';
@@ -16,6 +15,7 @@ import getModelServiceOverride from '@codingame/monaco-vscode-model-service-over
 import { registerExtension } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';
 import packageJson from './vscode-lean4/vscode-lean4/package.json';
+import { registerLeanEditorProvider } from './vscode-lean4/vscode-lean4/src/utils/leanEditorProvider';
 export class LeanMonaco {
     ready;
     whenReady = new Promise((resolve) => {
@@ -101,13 +101,14 @@ export class LeanMonaco {
             return;
         }
         this.updateVSCodeOptions(options.vscode ?? {});
-        this.abbreviationFeature = new AbbreviationFeature({}, { kind: 'MoveAllSelections' });
+        registerLeanEditorProvider({ subscriptions: [] });
+        this.abbreviationFeature = new AbbreviationFeature({});
         this.clientProvider = new LeanClientProvider({
             installChanged: () => { return { dispose: () => { } }; },
             testLeanVersion: () => { return "lean4/stable"; },
             getElanDefaultToolchain: () => { return "lean4/stable"; }
         }, { appendLine: () => { }
-        }, checkLean4ProjectPreconditions, setupMonacoClient(this.getWebSocketOptions(options)) // TODO: `as any` hack
+        }, setupMonacoClient(this.getWebSocketOptions(options)) // TODO: `as any` hack
         );
         const asAbsolutePath = (path) => {
             switch (path) {
@@ -134,7 +135,7 @@ export class LeanMonaco {
         this.iframeWebviewFactory = new IFrameInfoWebviewFactory(themeService, configurationService, fontFiles);
         if (this.infoviewEl)
             this.iframeWebviewFactory.setInfoviewElement(this.infoviewEl);
-        this.infoProvider = new InfoProvider(this.clientProvider, { language: 'lean4' }, {}, this.iframeWebviewFactory);
+        this.infoProvider = new InfoProvider(this.clientProvider, { language: 'lean4' }, this.iframeWebviewFactory);
         // Wait for all fonts to be loaded
         await Promise.all(fontFiles.map(font => font.load()));
         // Here we provide default options for the editor. They can be overwritten by the user.