You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
1 line
784 B
1 line
784 B
"use strict";(self.webpackChunkjupyter_web=self.webpackChunkjupyter_web||[]).push([[5365],{35365:(t,o,u)=>{u.r(o),u.d(o,{properties:()=>f});const f={name:"properties",token:function(i,e){var l=i.sol()||e.afterSection,r=i.eol();if(e.afterSection=!1,l&&(e.nextMultiline?(e.inMultiline=!0,e.nextMultiline=!1):e.position="def"),r&&!e.nextMultiline&&(e.inMultiline=!1,e.position="def"),l)for(;i.eatSpace(););var n=i.next();return!l||"#"!==n&&"!"!==n&&";"!==n?l&&"["===n?(e.afterSection=!0,i.skipTo("]"),i.eat("]"),"header"):"="===n||":"===n?(e.position="quote",null):("\\"===n&&"quote"===e.position&&i.eol()&&(e.nextMultiline=!0),e.position):(e.position="comment",i.skipToEnd(),"comment")},startState:function(){return{position:"def",nextMultiline:!1,inMultiline:!1,afterSection:!1}}}}}]); |