@highstate/designer 0.19.1 → 0.20.0

package/.output/public/_nuxt/ov4D99rA.js

@@ -1 +0,0 @@
-import{k as A,_ as B,f as F,u as K,l as L,n as W}from"#entry";import{E as N,K as h,W as o,X as u,a1 as r,ab as z,B as M,w as R,g as w,$ as d,a9 as y,af as C,F as s,aA as G,_ as S,aK as U,aE as X,ay as Z,Z as m,a4 as q,a5 as $,ah as H,a0 as I,a2 as V,a3 as _,ac as P,ai as x}from"./Dm4QKadl.js";import{P as J}from"./CN9dMhDM.js";import"./CmALWFRB.js";import"./D1Jbgd7O.js";import"./D-AHKB2i.js";const O={class:"tab-wrapper"},Q=N({__name:"ProjectTabWrapper",props:{projectId:{}},setup(T){return A(T.projectId),(p,j)=>(o(),h("div",O,[u(J,{"project-id":T.projectId,"can-unlock":""},{default:r(()=>[z(p.$slots,"default",{},void 0,!0)]),_:3},8,["project-id"])]))}}),Y=B(Q,[["__scopeId","data-v-cbe63052"]]),ee={class:"data-settings-panel"},te={class:"panel-layout"},ae={class:"vertical-tabs"},se={class:"tab-section"},oe={class:"tab-label"},re={class:"tab-section"},ce={class:"tab-label"},ne={class:"tab-section"},le={class:"tab-label"},ie={class:"content-area"},de=N({__name:"settings",setup(T){const p=F(),j=K(),c=M(null);R(j.currentRoute,async t=>{t.path.startsWith("/settings/")&&(L.info({from:c.value?.path,to:t.path},"settings route changed"),c.value=t),t?.name==="settings"&&await f(l.value.beforeGlobalTabs[0])},{immediate:!0});const l=w(()=>{const b=j.getRoutes().filter(a=>a.path.startsWith("/settings/")&&a.path!=="/settings"&&a.meta?.tab),n=[],e=[];for(const a of b){const i=a.meta.tab;if(!i||!a.path.startsWith("/settings/"))continue;const k={name:a.name,icon:i.icon,label:i.label,order:i.order||50,isProjectTab:a.path.startsWith("/settings/projects/"),subpages:i.subpages??[]};k.isProjectTab?e.push(k):n.push(k)}n.sort((a,i)=>a.order-i.order),e.sort((a,i)=>a.order-i.order);const g=n.filter(a=>a.order<90),E=n.filter(a=>a.order>=90);return{beforeGlobalTabs:g,projectTabs:e,afterGlobalTabs:E}}),v=t=>c.value&&(t.name===c.value.name||t.subpages.includes(c.value.name)),D=w(()=>l.value.beforeGlobalTabs.find(v)||l.value.projectTabs.find(v)),f=async t=>{if(!t.isProjectTab){await W({name:t.name});return}await W({name:t.name,params:{projectId:p.focusedProjectId}})};return R(()=>p.focusedProjectId,async(t,b)=>{const n=j.currentRoute.value;!n||t===b&&n.path.startsWith("/settings/projects/")||!n.path.startsWith("/settings/")||(t&&l.value.projectTabs.length>0?await f(D.value??l.value.projectTabs[0]):!t&&n.path.startsWith("/settings/projects/")&&await f(l.value.beforeGlobalTabs[0]))}),(t,b)=>{const n=H("RouterView");return o(),h("div",ee,[d("div",te,[d("div",ae,[d("div",se,[(o(!0),h(y,null,C(s(l).beforeGlobalTabs,e=>(o(),m(x,{key:e.name,variant:"text",class:P(["tab-item",{active:v(e)}]),onClick:g=>f(e)},{default:r(()=>[u(I,{class:"tab-icon"},{default:r(()=>[V(_(e.icon),1)]),_:2},1024),d("span",oe,_(e.label),1)]),_:2},1032,["class","onClick"]))),128))]),u(G,{class:"section-divider"}),d("div",re,[u(U,{modelValue:s(p).focusedProjectId,"onUpdate:modelValue":b[0]||(b[0]=e=>s(p).focusedProjectId=e),items:s(p).projects,label:"Project","item-title":"meta.title","item-value":"id",variant:"outlined",density:"compact",class:"project-selector","prepend-inner-icon":"mdi-folder-outline",clearable:"","hide-details":""},null,8,["modelValue","items"]),s(p).focusedProjectId?(o(!0),h(y,{key:0},C(s(l).projectTabs,e=>(o(),m(x,{key:e.name,variant:"text",class:P(["tab-item",{active:v(e)}]),onClick:g=>f(e)},{default:r(()=>[u(I,{class:"tab-icon"},{default:r(()=>[V(_(e.icon),1)]),_:2},1024),d("span",ce,_(e.label),1)]),_:2},1032,["class","onClick"]))),128)):S("",!0)]),u(G,{class:"section-divider"}),d("div",ne,[(o(!0),h(y,null,C(s(l).afterGlobalTabs,e=>(o(),m(x,{key:e.name,variant:"text",class:P(["tab-item",{active:v(e)}]),onClick:g=>f(e)},{default:r(()=>[u(I,{class:"tab-icon"},{default:r(()=>[V(_(e.icon),1)]),_:2},1024),d("span",le,_(e.label),1)]),_:2},1032,["class","onClick"]))),128))])]),d("div",ie,[u(X,{class:"content-card",variant:"flat"},{default:r(()=>[u(Z,{class:"content-card-text"},{default:r(()=>[s(c)?(o(),m(n,{key:0,route:s(c)},{default:r(({Component:e})=>[s(c).params.projectId?(o(),m(q,{key:0},{default:r(()=>[(o(),m(s(Y),{"project-id":s(c).params.projectId,key:s(c).params.projectId},{default:r(()=>[(o(),m($(e),{params:s(c).params},null,8,["params"]))]),_:2},1032,["project-id"]))]),_:2},1024)):(o(),m($(e),{key:1}))]),_:1},8,["route"])):S("",!0)]),_:1})]),_:1})])])])}}}),ve=B(de,[["__scopeId","data-v-ee43cb94"]]);export{ve as default};

package/.output/public/_nuxt/qYU5Tabh.js

@@ -1 +0,0 @@
-import{q as n,s as m}from"#entry";import"./DXh9HyqW.js";import{S as d}from"./5ggY4uig.js";import{_ as l}from"./D4OhWExI.js";import{E as c,aL as g,Z as f,W as u,a1 as y,F as t,X as P}from"./Dm4QKadl.js";import"./CmALWFRB.js";import"./D1Jbgd7O.js";import"./Cw6nGM9K.js";import"./DtFoCuZo.js";import"./DxuitVdg.js";import"./BmDdxTjo.js";import"./DcmvOc98.js";const V=c({__name:"index",async setup(_){let s,a;const{settingsStore:e}=n(),{projectStore:o}=n();return o.initializing?([s,a]=g(()=>m(()=>o.initialized).toBe(!0)),await s,a(),o.addLibraryRoot()):([s,a]=g(()=>o.initialize1()),await s,a(),[s,a]=g(()=>o.initialize2()),await s,a()),e.triggers.reset(),(j,r)=>(u(),f(t(d),{title:"Instance Triggers",icon:"mdi-flash-outline",description:"View and manage triggers created by project instances."},{default:y(({height:p})=>[P(t(l),{search:t(e).triggers.search,"onUpdate:search":r[0]||(r[0]=i=>t(e).triggers.search=i),"sort-by":t(e).triggers.sortBy,"onUpdate:sortBy":r[1]||(r[1]=i=>t(e).triggers.sortBy=i),page:t(e).triggers.page,"onUpdate:page":r[2]||(r[2]=i=>t(e).triggers.page=i),"items-per-page":t(e).triggers.itemsPerPage,"onUpdate:itemsPerPage":r[3]||(r[3]=i=>t(e).triggers.itemsPerPage=i),"project-id":t(o).projectId,data:t(e).triggers.data,loading:t(e).triggers.isLoading,height:p},null,8,["search","sort-by","page","items-per-page","project-id","data","loading","height"])]),_:1}))}});export{V as default};

package/.output/public/_nuxt/qliWkHmV.js

@@ -1 +0,0 @@
-const e=Object.freeze(JSON.parse(`{"displayName":"Lean 4","fileTypes":[],"name":"lean","patterns":[{"include":"#comments"},{"match":"\\\\b(Prop|Type|Sort)\\\\b","name":"storage.type.lean4"},{"match":"\\\\battribute\\\\b\\\\s*\\\\[[^]]*]","name":"storage.modifier.lean4"},{"match":"@\\\\[[^]]*]","name":"storage.modifier.lean4"},{"match":"\\\\b(?<!\\\\.)(global|local|scoped|partial|unsafe|private|protected|noncomputable)(?!\\\\.)\\\\b","name":"storage.modifier.lean4"},{"match":"\\\\b(sorry|admit|stop)\\\\b","name":"invalid.illegal.lean4"},{"match":"#(print|eval|reduce|check|check_failure)\\\\b","name":"keyword.other.lean4"},{"match":"\\\\bderiving\\\\s+instance\\\\b","name":"keyword.other.command.lean4"},{"begin":"\\\\b(?<!\\\\.)(inductive|coinductive|structure|theorem|axiom|abbrev|lemma|def|instance|class|constant)\\\\b\\\\s+(\\\\{[^}]*})?","beginCaptures":{"1":{"name":"keyword.other.definitioncommand.lean4"}},"end":"(?=\\\\bwith\\\\b|\\\\bextends\\\\b|\\\\bwhere\\\\b|[(:<>\\\\[{|⦃])","name":"meta.definitioncommand.lean4","patterns":[{"include":"#comments"},{"include":"#definitionName"},{"match":","}]},{"match":"\\\\b(?<!\\\\.)(theorem|show|have|from|suffices|nomatch|def|class|structure|instance|set_option|initialize|builtin_initialize|example|inductive|coinductive|axiom|constant|universes??|variables??|import|open|export|theory|prelude|renaming|hiding|exposing|do|by|let|extends|mutual|mut|where|rec|syntax|macro_rules|macro|deriving|fun|section|namespace|end|infixl??|infixr|postfix|prefix|notation|abbrev|if|then|else|calc|match|with|for|in|unless|try|catch|finally|return|continue|break)(?!\\\\.)\\\\b","name":"keyword.other.lean4"},{"begin":"«","contentName":"entity.name.lean4","end":"»"},{"begin":"(s!)\\"","beginCaptures":{"1":{"name":"keyword.other.lean4"}},"end":"\\"","name":"string.interpolated.lean4","patterns":[{"begin":"(\\\\{)","beginCaptures":{"1":{"name":"keyword.other.lean4"}},"end":"(})","endCaptures":{"1":{"name":"keyword.other.lean4"}},"patterns":[{"include":"$self"}]},{"match":"\\\\\\\\[\\"'\\\\\\\\nrt]","name":"constant.character.escape.lean4"},{"match":"\\\\\\\\x\\\\h\\\\h","name":"constant.character.escape.lean4"},{"match":"\\\\\\\\u\\\\h\\\\h\\\\h\\\\h","name":"constant.character.escape.lean4"}]},{"begin":"\\"","end":"\\"","name":"string.quoted.double.lean4","patterns":[{"match":"\\\\\\\\[\\"'\\\\\\\\nrt]","name":"constant.character.escape.lean4"},{"match":"\\\\\\\\x\\\\h\\\\h","name":"constant.character.escape.lean4"},{"match":"\\\\\\\\u\\\\h\\\\h\\\\h\\\\h","name":"constant.character.escape.lean4"}]},{"match":"\\\\b(true|false)\\\\b","name":"constant.language.lean4"},{"match":"'[^'\\\\\\\\]'","name":"string.quoted.single.lean4"},{"captures":{"1":{"name":"constant.character.escape.lean4"}},"match":"'(\\\\\\\\(x\\\\h\\\\h|u\\\\h\\\\h\\\\h\\\\h|.))'","name":"string.quoted.single.lean4"},{"match":"\`+[^(\\\\[]\\\\S+","name":"entity.name.lean4"},{"match":"\\\\b([0-9]+|0([Xx]\\\\h+)|-?(0|[1-9][0-9]*)(\\\\.[0-9]+)?([Ee][-+]?[0-9]+)?)\\\\b","name":"constant.numeric.lean4"}],"repository":{"blockComment":{"begin":"/-","end":"-/","name":"comment.block.lean4","patterns":[{"include":"source.lean4.markdown"},{"include":"#blockComment"}]},"comments":{"patterns":[{"include":"#dashComment"},{"include":"#docComment"},{"include":"#modDocComment"},{"include":"#blockComment"}]},"dashComment":{"begin":"--","end":"$","name":"comment.line.double-dash.lean4","patterns":[{"include":"source.lean4.markdown"}]},"definitionName":{"patterns":[{"match":"\\\\b[^():=?{}«»λ→∀\\\\s][^():{}«»\\\\s]*","name":"entity.name.function.lean4"},{"begin":"«","contentName":"entity.name.function.lean4","end":"»"}]},"docComment":{"begin":"/--","end":"-/","name":"comment.block.documentation.lean4","patterns":[{"include":"source.lean4.markdown"},{"include":"#blockComment"}]},"modDocComment":{"begin":"/-!","end":"-/","name":"comment.block.documentation.lean4","patterns":[{"include":"source.lean4.markdown"},{"include":"#blockComment"}]}},"scopeName":"source.lean4","aliases":["lean4"]}`)),n=[e];export{n as default};