@cocalc/static
Version:
CoCalc's static frontend Webpack-based build system and framework
1 lines • 16.6 kB
JavaScript
"use strict";(self.webpackChunk_cocalc_static=self.webpackChunk_cocalc_static||[]).push([[4161],{12319:(e,t,n)=>{n.d(t,{Js:()=>g,Sv:()=>w,WG:()=>v,pK:()=>y});var r=n(19990),s=n(94873),o=n(24620),a=n(32295),i=n(63505);function c(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 l(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&&p(e,t)}function f(e,t){return!t||"object"!==d(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 p(e,t){return p=Object.setPrototypeOf||function(e,t){return e.__proto__=t,e},p(e,t)}var d=function(e){return e&&"undefined"!=typeof Symbol&&e.constructor===Symbol?"symbol":typeof e};function h(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=u(e);if(t){var s=u(this).constructor;n=Reflect.construct(r,arguments,s)}else n=r.apply(this,arguments);return f(this,n)}}var _={information:"#5bc0de",error:"#d9534f",warning:"#f0ad4e"};function y(e,t){return t&&_[e]||"grey"}var m={information:"info-circle",error:"exclamation-triangle",warning:"exclamation-circle"};function v(e){var t;return null!==(t=m[e])&&void 0!==t?t:"question-circle"}var g=function(e){l(n,e);var t=h(n);function n(){return c(this,n),t.apply(this,arguments)}return n.prototype.render=function(){var e,t,n,s,o,a=this.props.message,c=y(a.severity,this.props.synced);return i.createElement("div",null,i.createElement("div",{style:{fontFamily:"sans-serif",fontWeight:"bold",color:c,borderBottom:"1px solid ".concat(c)}},i.createElement(r.Icon,{name:v(a.severity)}),i.createElement(r.Space,null),void 0!==a.pos_line&&void 0!==a.pos_col?(s=a.pos_line,o=a.pos_col,i.createElement("span",null,s,":",o)):void 0,i.createElement(r.Space,null),void 0!==a.severity?(n=a.severity,i.createElement("span",null,n)):void 0,i.createElement(r.Space,null),void 0!==a.caption?(t=a.caption,i.createElement("span",null,t)):void 0),void 0!==a.text?(e=a.text,i.createElement("div",{style:{display:"block",fontFamily:"monospace",whiteSpace:"pre-wrap",marginTop:"1ex",fontSize:"110%"}},e)):void 0)},n}(a.Component);g.displayName="LeanMessage";var b=function(e){l(n,e);var t=h(n);function n(){return c(this,n),t.apply(this,arguments)}var u=n.prototype;return u.shouldComponentUpdate=function(e){return(0,o.is_different)(this.props,e,["font_size","messages","tasks","sync","syncstring_hash"])},u.render_message=function(e,t){return i.createElement("div",{key:e,style:{paddingBottom:"1ex"}},i.createElement(g,{message:t,synced:this.props.sync.get("hash")===this.props.syncstring_hash}))},u.render_messages=function(){if(!this.props.messages)return i.createElement("div",{key:"messages"},"(nothing)");var e=[],t=this.props.messages.toJS();t.sort(E);var n=0,r=!0,s=!1,o=void 0;try{for(var a,c=t[Symbol.iterator]();!(r=(a=c.next()).done);r=!0){var u=a.value;e.push(this.render_message(n,u)),n+=1}}catch(e){s=!0,o=e}finally{try{r||null==c.return||c.return()}finally{if(s)throw o}}return e},u.render_task=function(e,t){return i.createElement("div",{key:e,style:{fontSize:"12pt",color:"#666",fontWeight:"bold",borderBottom:"1px solid black",minHeight:"30px",marginBottom:"15px"}},i.createElement(r.Icon,{name:"cocalc-ring",spin:!0}),i.createElement(r.Space,null),(0,o.capitalize)(t.desc),i.createElement(r.Space,null)," (Processing lines ",t.pos_line,"-",t.end_pos_line,")")},u.render_done=function(){return i.createElement("div",{key:0,style:{fontSize:"12pt",color:"#666",fontWeight:"bold",borderBottom:"1px solid black",minHeight:"30px",marginBottom:"15px"}},i.createElement(r.Icon,{name:"check-circle"}))},u.render_tasks=function(){if(!this.props.tasks||0===this.props.tasks.size)return this.render_done();var e=[],t=0,n=!0,r=!1,s=void 0;try{for(var o,a=this.props.tasks.toJS()[Symbol.iterator]();!(n=(o=a.next()).done);n=!0){var i=o.value;e.push(this.render_task(t,i)),t+=1}}catch(e){r=!0,s=e}finally{try{n||null==a.return||a.return()}finally{if(r)throw s}}return e},u.render_last_run_time=function(){var e=this.props.sync.get("time");if(e){var t=(new Date).valueOf()-Math.max(0,(0,s.Jc)().valueOf()-e);return i.createElement(r.TimeAgo,{date:t})}},u.render_sync=function(){var e;return e=-1===this.props.sync.get("hash")?"Restarting…":this.props.sync.get("hash")===this.props.syncstring_hash?i.createElement("span",null,"Synced (",this.render_last_run_time(),")"):"Syncing…",i.createElement("div",{style:{marginTop:"5px"}},e)},u.render=function(){return i.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:a.rtypes.immutable.List,tasks:a.rtypes.immutable.List,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},n}(a.Component);b.displayName="LeanMessages";var w=(0,a.rclass)(b);function E(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}},54161:(e,t,n)=>{n.r(t),n.d(t,{Actions:()=>S});var r=n(44965),s=n(85460),o=n(5010),a=n(94873),i=n(24620),c=n(19990),u=n(12319),l=n(63505);function f(e){var t,n,r=!0,s=!1,o=void 0;try{for(var a,i=e.messages.toJS()[Symbol.iterator]();!(r=(a=i.next()).done);r=!0){var u=a.value;e.set_gutter(u.pos_line-1,p(u,e.synced,e.cm.getDoc().getLine(u.pos_line-1)))}}catch(e){s=!0,o=e}finally{try{r||null==i.return||i.return()}finally{if(s)throw o}}if(e.tasks.size>0){var f,d=!0,h=!1,_=void 0;try{for(var y,m=e.tasks.toJS()[Symbol.iterator]();!(d=(y=m.next()).done);d=!0)for(var v=(f=y.value).pos_line;v<f.end_pos_line;v++)e.set_gutter(v-1,(t=e.synced,n=void 0,n=t?"#5cb85c":"#888",l.createElement(c.Icon,{name:"square",style:{color:n}})))}catch(e){h=!0,_=e}finally{try{d||null==m.return||m.return()}finally{if(h)throw _}}}}function p(e,t,n){var r=(0,u.WG)(e.severity),s=(0,u.pK)(e.severity,t),o=l.createElement(u.Js,{message:e,synced:t});return l.createElement(c.Tip,{title:l.createElement("pre",null,n),tip:o,placement:"right",stable:!0,popover_style:{padding:0,border:"2px solid ".concat(s),borderRadius:"3px",width:"700px",maxWidth:"80%"},delayShow:0,allow_touch:!0},l.createElement(c.Icon,{name:r,style:{color:s,cursor:"pointer"}}))}function d(e,t,n,r,s,o,a){try{var i=e[o](a),c=i.value}catch(e){return void n(e)}i.done?t(c):Promise.resolve(c).then(r,s)}function h(e){return function(){var t=this,n=arguments;return new Promise((function(r,s){var o=e.apply(t,n);function a(e){d(o,r,s,a,i,"next",e)}function i(e){d(o,r,s,a,i,"throw",e)}a(void 0)}))}}function _(e,t){if(!(e instanceof t))throw new TypeError("Cannot call a class as a function")}function y(e,t,n){return y="undefined"!=typeof Reflect&&Reflect.get?Reflect.get:function(e,t,n){var r=function(e,t){for(;!Object.prototype.hasOwnProperty.call(e,t)&&null!==(e=m(e)););return e}(e,t);if(r){var s=Object.getOwnPropertyDescriptor(r,t);return s.get?s.get.call(n):s.value}},y(e,t,n||e)}function m(e){return m=Object.setPrototypeOf?Object.getPrototypeOf:function(e){return e.__proto__||Object.getPrototypeOf(e)},m(e)}function v(e,t){return!t||"object"!==b(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 g(e,t){return g=Object.setPrototypeOf||function(e,t){return e.__proto__=t,e},g(e,t)}var b=function(e){return e&&"undefined"!=typeof Symbol&&e.constructor===Symbol?"symbol":typeof e};var w=function(e,t){var n,r,s,o,a={label:0,sent:function(){if(1&s[0])throw s[1];return s[1]},trys:[],ops:[]};return o={next:i(0),throw:i(1),return:i(2)},"function"==typeof Symbol&&(o[Symbol.iterator]=function(){return this}),o;function i(o){return function(i){return function(o){if(n)throw new TypeError("Generator is already executing.");for(;a;)try{if(n=1,r&&(s=2&o[0]?r.return:o[0]?r.throw||((s=r.return)&&s.call(r),0):r.next)&&!(s=s.call(r,o[1])).done)return s;switch(r=0,s&&(o=[2&o[0],s.value]),o[0]){case 0:case 1:s=o;break;case 4:return a.label++,{value:o[1],done:!1};case 5:a.label++,r=o[1],o=[0];continue;case 7:o=a.ops.pop(),a.trys.pop();continue;default:if(!((s=(s=a.trys).length>0&&s[s.length-1])||6!==o[0]&&2!==o[0])){a=0;continue}if(3===o[0]&&(!s||o[1]>s[0]&&o[1]<s[3])){a.label=o[1];break}if(6===o[0]&&a.label<s[1]){a.label=s[1],s=o;break}if(s&&a.label<s[2]){a.label=s[2],a.ops.push(o);break}s[2]&&a.ops.pop(),a.trys.pop();continue}o=t.call(e,a)}catch(e){o=[6,e],r=0}finally{n=s=0}if(5&o[0])throw o[1];return{value:o[0]?o[1]:void 0,done:!0}}([o,i])}}},E=750,S=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&&g(e,t)}(c,e);var t,n,o=(t=c,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=m(t);if(n){var s=m(this).constructor;e=Reflect.construct(r,arguments,s)}else e=r.apply(this,arguments);return v(this,e)});function c(){var e;return _(this,c),(e=o.apply(this,arguments)).update_status_bar=function(){if("closed"!==e._state){var t=e.store.getIn(["sync","hash"])==e.store.get("syncstring_hash"),n=e.store.unsafe_getIn(["tasks"]),r="";if(t||(r+="Syncing... "),n.size>0){var s=n.get(0).toJS();r+="".concat((0,i.capitalize)(s.desc),". Processing lines ").concat(s.pos_line,"-").concat(s.end_pos_line,"...")}e.set_status(r)}},e.update_gutters=function(){if("closed"!==e._state){var t=e.store.getIn(["sync","hash"])==e.store.get("syncstring_hash"),n=e.store.unsafe_getIn(["messages"]),r=e.store.unsafe_getIn(["tasks"]),s=e.gutter_last;if(t!==s.synced||n!==s.messages||r!==s.tasks){e.gutter_last={synced:t,messages:n,tasks:r},e.clear_gutter("Codemirror-lean-messages");var o=e._get_cm();void 0!==o&&f({cm:o,synced:t,messages:n,tasks:r,set_gutter:function(t,n){e.set_gutter_marker({line:t,component:n,gutter_id:"Codemirror-lean-messages"})}})}}},e}var u=c.prototype;return u._init2=function(){var e=this;return h((function(){var t;return w(this,(function(n){switch(n.label){case 0:if(e.data_queue=[],e.debounced_process_data_queue=(0,r.Ds)((function(){"closed"!==e._state&&e.process_data_queue()}),E),e.debounced_update_info=(0,r.Ds)((function(){"closed"!==e._state&&e.update_info()}),E),e.debounced_update_gutters=(0,r.Ds)((function(){"closed"!==e._state&&e.update_gutters()}),E),e.debounced_update_status_bar=(0,r.Ds)((function(){"closed"!==e._state&&e.update_status_bar()}),E),e.setState({messages:[],tasks:[],sync:{hash:0,time:0},syncstring_hash:0,info:{}}),e.gutter_last={synced:!1,messages:(0,s.List)(),tasks:(0,s.List)()},e.is_public)return[3,5];e._syncstring.on("change",(function(){e.setState({syncstring_hash:e._syncstring.hash_of_live_version()}),e.debounced_update_gutters(),e.debounced_update_status_bar(),e.debounced_update_info()})),n.label=1;case 1:return n.trys.push([1,3,,4]),[4,e._init_channel()];case 2:return n.sent(),[3,4];case 3:return t=n.sent(),e.set_error(t+" -- you might need to refresh your browser or close and open this file."),[3,4];case 4:return[3,6];case 5:e._init_value(),n.label=6;case 6:return[2]}}))}))()},u._init_channel=function(){var e=this;return h((function(){var t;return w(this,(function(n){switch(n.label){case 0:return"closed"===e._state?[2]:[4,(0,a.ZO)(e.project_id)];case 1:return[4,n.sent().lean_channel(e.path)];case 2:return e.channel=n.sent(),(t=e.channel).on("close",(function(){t.removeAllListeners(),t.conn.once("open",h((function(){return w(this,(function(t){switch(t.label){case 0:return[4,e._init_channel()];case 1:return t.sent(),[2]}}))})))})),t.on("data",(function(t){"object"==typeof t&&e.handle_data_from_channel(t)})),[2]}}))}))()},u.handle_data_from_channel=function(e){"closed"!==this._state&&(this.data_queue.push(e),this.debounced_process_data_queue())},u.process_data_queue=function(){if("closed"!==this._state&&0!==this.data_queue.length){var e=!0,t=!1,n=void 0;try{for(var r,s=this.data_queue[Symbol.iterator]();!(e=(r=s.next()).done);e=!0){var o=r.value;void 0!==o.messages&&this.setState({messages:o.messages}),void 0!==o.tasks&&this.setState({tasks:o.tasks}),void 0!==o.sync&&this.setState({sync:o.sync})}}catch(e){t=!0,n=e}finally{try{e||null==s.return||s.return()}finally{if(t)throw n}}this.data_queue=[],this.update_gutters(),this.update_status_bar()}},u.restart=function(){var e=this;return h((function(){var t,n;return w(this,(function(r){switch(r.label){case 0:return e.set_status("Restarting LEAN ..."),e.setState({sync:{hash:-1,time:0}}),[4,(0,a.ZO)(e.project_id)];case 1:t=r.sent(),r.label=2;case 2:return r.trys.push([2,5,6,7]),[4,t.lean({cmd:"restart"})];case 3:return r.sent(),[4,e.update_info()];case 4:return r.sent(),[3,7];case 5:return n=r.sent(),e.set_error("Error restarting LEAN: ".concat(n)),[3,7];case 6:return e.set_status(""),[7];case 7:return[2]}}))}))()},u.close=function(){if(void 0!==this.channel)try{this.channel.end()}catch(e){}y(m(c.prototype),"close",this).call(this),(0,i.close)(this),this._state="closed"},u._raw_default_frame_tree=function(){return this.is_public?{type:"cm"}:{direction:"col",type:"node",first:{type:"cm-lean"},second:{direction:"row",type:"node",first:{type:"lean-messages"},second:{direction:"row",type:"node",first:{type:"lean-info"},second:{type:"lean-help"}}}}},u.version=function(){var e=this;return h((function(){return w(this,(function(t){switch(t.label){case 0:return[4,(0,a.ZO)(e.project_id)];case 1:return[4,t.sent().lean({cmd:"version"})];case 2:return[2,t.sent()]}}))}))()},u.complete=function(e,t){var n=this;return h((function(){var r;return w(this,(function(s){switch(s.label){case 0:return[4,n.ensure_latest_changes_are_saved()];case 1:if(!s.sent())return[2,[]];n.set_status("Completing at line ".concat(e+1,"...")),s.label=2;case 2:return s.trys.push([2,5,6,7]),[4,(0,a.ZO)(n.project_id)];case 3:return[4,s.sent().lean({path:n.path,cmd:"complete",line:e+1,column:t})];case 4:return[2,s.sent()];case 5:return"timeout"===(r=(r=s.sent()).toString())||"Error: interrupted"===r||n.set_error("Error getting completions on line ".concat(e+1," -- ").concat(r)),[2,[]];case 6:return n.set_status(""),[7];case 7:return[2]}}))}))()},u.info=function(e,t){var n=this;return h((function(){var r;return w(this,(function(s){switch(s.label){case 0:return[4,n.ensure_latest_changes_are_saved()];case 1:if(!s.sent())return[2];n.set_status("Get info about line ".concat(e+1,"...")),s.label=2;case 2:return s.trys.push([2,5,6,7]),[4,(0,a.ZO)(n.project_id)];case 3:return[4,s.sent().lean({path:n.path,cmd:"info",line:e+1,column:t})];case 4:return[2,s.sent()];case 5:return"timeout"===(r=(r=s.sent()).toString())||"Error: interrupted"===r||"Error: unknown exception"===r||n.set_error("Error getting info about line ".concat(e+1," -- ").concat(r)),[2];case 6:return n.set_status(""),[7];case 7:return[2]}}))}))()},u.update_info=function(){var e=this;return h((function(){var t,n,r;return w(this,(function(s){switch(s.label){case 0:return"closed"===e._state?[2]:null==(t=e._recent_cm())||null==(n=t.getDoc().getCursor())?(e.setState({info:{}}),[2]):[4,e.info(n.line,n.ch)];case 1:return null!=(r=s.sent())&&e.setState({info:r}),[2]}}))}))()},u.handle_cursor_move=function(e){this.debounced_update_info()},u.close_and_halt=function(e){var t=this;return h((function(){var e,n;return w(this,(function(r){switch(r.label){case 0:return t.set_status("Killing LEAN server..."),[4,(0,a.ZO)(t.project_id)];case 1:e=r.sent(),r.label=2;case 2:return r.trys.push([2,4,5,6]),[4,e.lean({cmd:"kill"})];case 3:return r.sent(),[3,6];case 4:return n=r.sent(),t.set_error("Error killing LEAN server: ".concat(n)),[3,6];case 5:return t.set_status(""),[7];case 6:return t._get_project_actions().close_tab(t.path),[2]}}))}))()},c}(o.e)}}]);