@cocalc/static/dist/eba959f075eb85c39eef.js

CoCalc's static frontend Webpack-based build system and framework

"use strict";(self.webpackChunk_cocalc_static=self.webpackChunk_cocalc_static||[]).push([[7930],{12319:(e,t,n)=>{n.d(t,{Js:()=>b,Sv:()=>E,WG:()=>v,pK:()=>h});var r=n(19990),o=n(94873),i=n(24620),s=n(32295),a=n(63505);function c(e,t){if(!(e instanceof t))throw new TypeError("Cannot call a class as a function")}function l(e){return l=Object.setPrototypeOf?Object.getPrototypeOf:function(e){return e.__proto__||Object.getPrototypeOf(e)},l(e)}function u(e,t){if("function"!=typeof t&&null!==t)throw new TypeError("Super expression must either be null or a function");e.prototype=Object.create(t&&t.prototype,{constructor:{value:e,writable:!0,configurable:!0}}),t&&f(e,t)}function p(e,t){return!t||"object"!==m(t)&&"function"!=typeof t?function(e){if(void 0===e)throw new ReferenceError("this hasn't been initialised - super() hasn't been called");return e}(e):t}function f(e,t){return f=Object.setPrototypeOf||function(e,t){return e.__proto__=t,e},f(e,t)}var m=function(e){return e&&"undefined"!=typeof Symbol&&e.constructor===Symbol?"symbol":typeof e};function y(e){var t=function(){if("undefined"==typeof Reflect||!Reflect.construct)return!1;if(Reflect.construct.sham)return!1;if("function"==typeof Proxy)return!0;try{return Boolean.prototype.valueOf.call(Reflect.construct(Boolean,[],(function(){}))),!0}catch(e){return!1}}();return function(){var n,r=l(e);if(t){var o=l(this).constructor;n=Reflect.construct(r,arguments,o)}else n=r.apply(this,arguments);return p(this,n)}}var d={information:"#5bc0de",error:"#d9534f",warning:"#f0ad4e"};function h(e,t){return t&&d[e]||"grey"}var _={information:"info-circle",error:"exclamation-triangle",warning:"exclamation-circle"};function v(e){var t;return null!==(t=_[e])&&void 0!==t?t:"question-circle"}var b=function(e){u(n,e);var t=y(n);function n(){return c(this,n),t.apply(this,arguments)}return n.prototype.render=function(){var e,t,n,o,i,s=this.props.message,c=h(s.severity,this.props.synced);return a.createElement("div",null,a.createElement("div",{style:{fontFamily:"sans-serif",fontWeight:"bold",color:c,borderBottom:"1px solid ".concat(c)}},a.createElement(r.Icon,{name:v(s.severity)}),a.createElement(r.Space,null),void 0!==s.pos_line&&void 0!==s.pos_col?(o=s.pos_line,i=s.pos_col,a.createElement("span",null,o,":",i)):void 0,a.createElement(r.Space,null),void 0!==s.severity?(n=s.severity,a.createElement("span",null,n)):void 0,a.createElement(r.Space,null),void 0!==s.caption?(t=s.caption,a.createElement("span",null,t)):void 0),void 0!==s.text?(e=s.text,a.createElement("div",{style:{display:"block",fontFamily:"monospace",whiteSpace:"pre-wrap",marginTop:"1ex",fontSize:"110%"}},e)):void 0)},n}(s.Component);b.displayName="LeanMessage";var g=function(e){u(n,e);var t=y(n);function n(){return c(this,n),t.apply(this,arguments)}var l=n.prototype;return l.shouldComponentUpdate=function(e){return(0,i.is_different)(this.props,e,["font_size","messages","tasks","sync","syncstring_hash"])},l.render_message=function(e,t){return a.createElement("div",{key:e,style:{paddingBottom:"1ex"}},a.createElement(b,{message:t,synced:this.props.sync.get("hash")===this.props.syncstring_hash}))},l.render_messages=function(){if(!this.props.messages)return a.createElement("div",{key:"messages"},"(nothing)");var e=[],t=this.props.messages.toJS();t.sort(w);var n=0,r=!0,o=!1,i=void 0;try{for(var s,c=t[Symbol.iterator]();!(r=(s=c.next()).done);r=!0){var l=s.value;e.push(this.render_message(n,l)),n+=1}}catch(e){o=!0,i=e}finally{try{r||null==c.return||c.return()}finally{if(o)throw i}}return e},l.render_task=function(e,t){return a.createElement("div",{key:e,style:{fontSize:"12pt",color:"#666",fontWeight:"bold",borderBottom:"1px solid black",minHeight:"30px",marginBottom:"15px"}},a.createElement(r.Icon,{name:"cocalc-ring",spin:!0}),a.createElement(r.Space,null),(0,i.capitalize)(t.desc),a.createElement(r.Space,null)," (Processing lines ",t.pos_line,"-",t.end_pos_line,")")},l.render_done=function(){return a.createElement("div",{key:0,style:{fontSize:"12pt",color:"#666",fontWeight:"bold",borderBottom:"1px solid black",minHeight:"30px",marginBottom:"15px"}},a.createElement(r.Icon,{name:"check-circle"}))},l.render_tasks=function(){if(!this.props.tasks||0===this.props.tasks.size)return this.render_done();var e=[],t=0,n=!0,r=!1,o=void 0;try{for(var i,s=this.props.tasks.toJS()[Symbol.iterator]();!(n=(i=s.next()).done);n=!0){var a=i.value;e.push(this.render_task(t,a)),t+=1}}catch(e){r=!0,o=e}finally{try{n||null==s.return||s.return()}finally{if(r)throw o}}return e},l.render_last_run_time=function(){var e=this.props.sync.get("time");if(e){var t=(new Date).valueOf()-Math.max(0,(0,o.Jc)().valueOf()-e);return a.createElement(r.TimeAgo,{date:t})}},l.render_sync=function(){var e;return e=-1===this.props.sync.get("hash")?"Restarting…":this.props.sync.get("hash")===this.props.syncstring_hash?a.createElement("span",null,"Synced (",this.render_last_run_time(),")"):"Syncing…",a.createElement("div",{style:{marginTop:"5px"}},e)},l.render=function(){return a.createElement("div",{style:{overflowY:"auto",padding:"0px 15px",fontSize:this.props.font_size}},this.render_sync(),this.render_tasks(),this.render_messages())},n.reduxProps=function(e){var t,n,r;return t={},n=e.name,r={messages:s.rtypes.immutable.List,tasks:s.rtypes.immutable.List,sync:s.rtypes.immutable.Map,syncstring_hash:s.rtypes.number},n in t?Object.defineProperty(t,n,{value:r,enumerable:!0,configurable:!0,writable:!0}):t[n]=r,t},n}(s.Component);g.displayName="LeanMessages";var E=(0,s.rclass)(g);function w(e,t){return e.pos_line<t.pos_line||e.pos_line===t.pos_line&&e.pos_col<t.pos_col?-1:e.pos_line===t.pos_line&&e.pos_col===t.pos_col?0:1}},87930:(e,t,n)=>{n.r(t),n.d(t,{Editor:()=>P});var r=n(24620),o=n(28459),i=n(33258).w,s=n(12319),a=n(32295),c=n(63505);function l(e,t){if(!(e instanceof t))throw new TypeError("Cannot call a class as a function")}function u(e){return u=Object.setPrototypeOf?Object.getPrototypeOf:function(e){return e.__proto__||Object.getPrototypeOf(e)},u(e)}function p(e,t){return!t||"object"!==m(t)&&"function"!=typeof t?function(e){if(void 0===e)throw new ReferenceError("this hasn't been initialised - super() hasn't been called");return e}(e):t}function f(e,t){return f=Object.setPrototypeOf||function(e,t){return e.__proto__=t,e},f(e,t)}var m=function(e){return e&&"undefined"!=typeof Symbol&&e.constructor===Symbol?"symbol":typeof e};var y=function(e){!function(e,t){if("function"!=typeof t&&null!==t)throw new TypeError("Super expression must either be null or a function");e.prototype=Object.create(t&&t.prototype,{constructor:{value:e,writable:!0,configurable:!0}}),t&&f(e,t)}(i,e);var t,n,o=(t=i,n=function(){if("undefined"==typeof Reflect||!Reflect.construct)return!1;if(Reflect.construct.sham)return!1;if("function"==typeof Proxy)return!0;try{return Boolean.prototype.valueOf.call(Reflect.construct(Boolean,[],(function(){}))),!0}catch(e){return!1}}(),function(){var e,r=u(t);if(n){var o=u(this).constructor;e=Reflect.construct(r,arguments,o)}else e=r.apply(this,arguments);return p(this,e)});function i(){return l(this,i),o.apply(this,arguments)}var s=i.prototype;return s.shouldComponentUpdate=function(e){return(0,r.is_different)(this.props,e,["font_size","info","sync","syncstring_hash"])},s.render_heading=function(e){return c.createElement("div",null,c.createElement("u",null,c.createElement("b",null,e)))},s.render_state=function(){var e=this.props.info.get("state");if(e)return c.createElement("div",null,this.render_heading("Tactic State"),function(e){var t=arguments.length>1&&void 0!==arguments[1]?arguments[1]:100;return c.createElement("div",{style:{display:"block",fontFamily:"monospace",whiteSpace:"pre-wrap",marginTop:"1ex",fontSize:"".concat(t,"%")}},e)}(e,105))},s.render=function(){return null==this.props.info?c.createElement("span",null):c.createElement("div",{style:{overflowY:"auto",margin:"0px 15px",fontSize:this.props.font_size}},this.render_state())},i.reduxProps=function(e){var t,n,r;return t={},n=e.name,r={info:a.rtypes.immutable.Map,sync:a.rtypes.immutable.Map,syncstring_hash:a.rtypes.number},n in t?Object.defineProperty(t,n,{value:r,enumerable:!0,configurable:!0,writable:!0}):t[n]=r,t},i}(a.Component);y.displayName="LeanInfo";var d=(0,a.rclass)(y),h=n(19990),_=n(63505);function v(e,t){if(!(e instanceof t))throw new TypeError("Cannot call a class as a function")}function b(e){return b=Object.setPrototypeOf?Object.getPrototypeOf:function(e){return e.__proto__||Object.getPrototypeOf(e)},b(e)}function g(e,t){return!t||"object"!==w(t)&&"function"!=typeof t?function(e){if(void 0===e)throw new ReferenceError("this hasn't been initialised - super() hasn't been called");return e}(e):t}function E(e,t){return E=Object.setPrototypeOf||function(e,t){return e.__proto__=t,e},E(e,t)}var w=function(e){return e&&"undefined"!=typeof Symbol&&e.constructor===Symbol?"symbol":typeof e};var O=function(e){!function(e,t){if("function"!=typeof t&&null!==t)throw new TypeError("Super expression must either be null or a function");e.prototype=Object.create(t&&t.prototype,{constructor:{value:e,writable:!0,configurable:!0}}),t&&E(e,t)}(i,e);var t,n,o=(t=i,n=function(){if("undefined"==typeof Reflect||!Reflect.construct)return!1;if(Reflect.construct.sham)return!1;if("function"==typeof Proxy)return!0;try{return Boolean.prototype.valueOf.call(Reflect.construct(Boolean,[],(function(){}))),!0}catch(e){return!1}}(),function(){var e,r=b(t);if(n){var o=b(this).constructor;e=Reflect.construct(r,arguments,o)}else e=r.apply(this,arguments);return g(this,e)});function i(){return v(this,i),o.apply(this,arguments)}var s=i.prototype;return s.shouldComponentUpdate=function(e){return(0,r.is_different)(this.props,e,["font_size","info","sync","syncstring_hash"])},s.render_heading=function(e){return _.createElement("div",null,_.createElement("u",null,_.createElement("b",null,e)))},s.render_doc=function(){var e=this.props.info.get("doc"),t=this.props.info.get("tactic_params");if(e||t)return _.createElement("div",null,this.render_heading(t),_.createElement(h.Markdown,{value:e,safeHTML:!1,highlight_code:!0}))},s.render=function(){return null==this.props.info?_.createElement("span",null):_.createElement("div",{style:{overflowY:"auto",margin:"0px 15px",fontSize:this.props.font_size}},this.render_doc())},i.reduxProps=function(e){var t,n,r;return t={},n=e.name,r={info:a.rtypes.immutable.Map,sync:a.rtypes.immutable.Map,syncstring_hash:a.rtypes.number},n in t?Object.defineProperty(t,n,{value:r,enumerable:!0,configurable:!0,writable:!0}):t[n]=r,t},i}(a.Component);O.displayName="LeanHelp";var x=(0,a.rclass)(O),S=n(96396),k=n(63697),z={"cm-lean":{short:"Input",name:"Input",icon:"code",component:i,buttons:(0,r.set)(["print","decrease_font_size","increase_font_size","save","time_travel","replace","find","goto_line","cut","paste","copy","undo","redo","restart","close_and_halt"]),gutters:["Codemirror-lean-messages"]},"lean-info":{short:"Info",name:"Info at Cursor",icon:"info-circle",component:d,buttons:(0,r.set)(["decrease_font_size","increase_font_size"])},"lean-messages":{short:"Mesages",name:"All Messages",icon:"eye",component:s.Sv,buttons:(0,r.set)(["decrease_font_size","increase_font_size"])},"lean-help":{short:"Help",name:"Help at Cursor",icon:"question-circle",component:x,buttons:(0,r.set)(["decrease_font_size","increase_font_size"])},terminal:S.terminal,time_travel:k.Y},P=(0,o.J)({format_bar:!1,editor_spec:z,display_name:"LeanEditor"})}}]);