include doctype declaration when replacing <!>

Hunter
Thursday, January 15th, 2026 at 12:24 PM


README.md+1 


main.js+2-1
README.md
37  Type `<!>` to insert the following starter HTML:
38  
39  ```html
40 +<!DOCTYPE html>
41  <html>
42    <head>
43      <style>
main.js
426  					const before = view.state.doc.sliceString(Math.max(0, from - 20), from);
427  					// Check for <!> boilerplate trigger
428  					if (before.endsWith('<!')) {
    -						const boilerplate = `<html>
429 +						const boilerplate = `<!DOCTYPE html>
430 +<html>
431  \t<head>
432  \t\t<style>
433  \t\t\t