chore(settings): update example code for syntax highlight preview

Author: yoshinorin

src/constants/syntaxPreview.ts

@@ -1,14 +1,16 @@
 export const SYNTAX_PREVIEW_HTML = `
-<table>
-  <tbody>
-    <tr>
-      <td class="gutter">
-        <pre><span class="line">1</span><br /><span class="line">2</span><br /><span class="line">3</span><br /><span class="line">4</span><br /><span class="line">5</span><br /><span class="line">6</span><br /><span class="line">7</span><br /><span class="line">8</span><br /><span class="line">9</span><br /><span class="line">10</span><br /><span class="line">11</span><br /><span class="line">12</span><br /><span class="line">13</span><br /><span class="line">14</span><br /><span class="line">15</span><br /><span class="line">16</span><br /><span class="line">17</span><br /></pre>
-      </td>
-      <td class="code">
-        <pre><span class="line"><span class="comment">// Example code</span></span><br /><span class="line"><span class="keyword">def</span> <span class="title">run</span>(<span class="params">args: List[String]</span>): <span class="type">IO</span>[<span class="type">ExitCode</span>] = {</span><br /><span class="line">  <span class="keyword">val</span> runApp = (<span class="params">maybeTracer: Option[Tracer[IO]]</span>) =></span><br /><span class="line">    <span class="type">Modules</span>.transactorResource.use { tx =></span><br /><span class="line">      <span class="keyword">val</span> modules = <span class="keyword">new</span> <span class="type">Modules</span>(tx)</span><br /><span class="line">      <span class="keyword">val</span> host = <span class="type">Ipv4Address</span>.fromString(modules.config.http.host).getOrElse(ipv4<span class="string">"127.0.0.1"</span>)</span><br /><span class="line">      <span class="keyword">val</span> port = <span class="type">Port</span>.fromInt(modules.config.http.port).getOrElse(port<span class="string">"9001"</span>)</span><br /><span class="line"></span><br /><span class="line">      <span class="keyword">for</span> {</span><br /><span class="line">        _ &lt;- logger.info(<span class="type">ApplicationInfo</span>.asJson)</span><br /><span class="line">        _ &lt;- <span class="type">IO</span>(modules.flywayMigrator.migrate())</span><br /><span class="line">        routes &lt;- modules.router.withCors.map[<span class="type">Kleisli</span>[<span class="type">IO</span>, <span class="type">Request</span>[<span class="type">IO</span>], <span class="type">Response</span>[<span class="type">IO</span>]]](_.orNotFound)</span><br /><span class="line">        httpApp &lt;- <span class="type">IO</span>(<span class="keyword">new</span> <span class="type">HttpAppBuilder</span>(routes, maybeTracer).build)</span><br /><span class="line">        _ &lt;- server(host, port, httpApp).use(_ =&gt; <span class="type">IO</span>.never)</span><br /><span class="line">      } <span class="keyword">yield</span> <span class="type">ExitCode</span>.<span class="type">Success</span></span><br /><span class="line">    }</span><br /><span class="line">}</span></pre>
-      </td>
-    </tr>
-  </tbody>
-</table>
+<figure class="highlight scala">
+  <table>
+    <tbody>
+      <tr>
+        <td class="gutter">
+          <pre><span class="line">1</span><br><span class="line">2</span><br><span class="line">3</span><br><span class="line">4</span><br><span class="line">5</span><br><span class="line">6</span><br><span class="line">7</span><br><span class="line">8</span><br><span class="line">9</span><br><span class="line">10</span><br><span class="line">11</span><br><span class="line">12</span><br><span class="line">13</span><br><span class="line">14</span><br><span class="line">15</span><br><span class="line">16</span><br><span class="line">17</span><br><span class="line">18</span><br><span class="line">19</span><br><span class="line">20</span><br><span class="line">21</span><br><span class="line">22</span><br><span class="line">23</span><br><span class="line">24</span><br></pre>
+        </td>
+        <td class="code">
+          <pre><span class="line"><span class="source scala"><span class="meta import scala"><span class="keyword other import scala">import</span> <span class="variable package scala">cats.effect.</span><span class="meta import selector scala">{<span class="variable import scala">ExitCode</span>, <span class="variable import scala">IO</span>, <span class="variable import scala">IOApp</span>}</span></span></span><br><span class="line"><span class="meta import scala"><span class="keyword other import scala">import</span> <span class="variable package scala">cats.effect.kernel.Resource</span></span></span></span><br><span class="line"><span class="meta import scala"><span class="keyword other import scala">import</span> <span class="variable package scala">org.typelevel.otel4s.trace.Tracer</span></span></span><br><span class="line"></span><br><span class="line"><span class="comment line double-slash scala"><span class="punctuation definition comment scala">//</span> logger</span></span><br><span class="line"><span class="storage type stable scala">val</span> <span class="entity name val scala">logger</span>: <span class="support class scala">SelfAwareStructuredLogger</span>[<span class="support class scala">IO</span>] <span class="keyword operator assignment scala">=</span> log4catsLogger<span class="punctuation accessor scala">.</span>getLoggerFromClass(<span class="variable language scala">this</span><span class="punctuation accessor scala">.</span>getClass)</span></span><br><span class="line"></span><br><span class="line"><span class="comment line double-slash scala"><span class="punctuation definition comment scala">//</span> Example code</span></span><br><span class="line"><span class="storage type function scala">def</span> <span class="entity name function scala">run</span>(<span class="variable parameter scala">args</span>: <span class="support class scala">List</span>[<span class="support class scala">String</span>])<span class="punctuation separator scala">:</span> <span class="support class scala">IO</span>[<span class="support class scala">ExitCode</span>] <span class="keyword operator assignment scala">=</span> <span class="meta block scala"><span class="punctuation section block begin scala">{</span></span><br><span class="line">  <span class="storage type stable scala">val</span> <span class="entity name val scala">runApp</span> <span class="keyword operator assignment scala">=</span> (<span class="variable parameter scala">maybeTracer</span>: <span class="support class scala">Option</span>[<span class="support class scala">Tracer</span>[<span class="support class scala">IO</span>]]) <span class="storage type function arrow scala">=&gt;</span></span><br><span class="line">    <span class="support constant scala">Modules</span><span class="punctuation accessor scala">.</span>transactorResource<span class="punctuation accessor scala">.</span>use <span class="meta block scala"><span class="punctuation section block begin scala">{</span> <span class="variable parameter scala">tx</span> <span class="storage type function arrow scala">=&gt;</span></span><br><span class="line">      <span class="storage type stable scala">val</span> <span class="entity name val scala">modules</span> <span class="keyword operator assignment scala">=</span> <span class="keyword other scala">new</span> <span class="support class scala">Modules</span>(tx)</span><br><span class="line">      <span class="storage type stable scala">val</span> <span class="entity name val scala">host</span> <span class="keyword operator assignment scala">=</span> <span class="support constant scala">Ipv4Address</span><span class="punctuation accessor scala">.</span>fromString(modules<span class="punctuation accessor scala">.</span>config<span class="punctuation accessor scala">.</span>http<span class="punctuation accessor scala">.</span>host)<span class="punctuation accessor scala">.</span>getOrElse(<span class="string quoted interpolated scala"><span class="support function scala">ipv4</span><span class="punctuation definition string begin scala">"</span>127.0.0.1<span class="punctuation definition string end scala">"</span></span>)</span><br><span class="line">      <span class="storage type stable scala">val</span> <span class="entity name val scala">port</span> <span class="keyword operator assignment scala">=</span> <span class="support constant scala">Port</span><span class="punctuation accessor scala">.</span>fromInt(modules<span class="punctuation accessor scala">.</span>config<span class="punctuation accessor scala">.</span>http<span class="punctuation accessor scala">.</span>port)<span class="punctuation accessor scala">.</span>getOrElse(<span class="string quoted interpolated scala"><span class="support function scala">port</span><span class="punctuation definition string begin scala">"</span>9001<span class="punctuation definition string end scala">"</span></span>)</span><br><span class="line"></span><br><span class="line">      <span class="keyword control flow scala">for</span> {</span><br><span class="line">        <span class="variable language underscore scala">_</span> <span class="keyword operator assignment scala">&lt;-</span> logger<span class="punctuation accessor scala">.</span>info(<span class="support constant scala">ApplicationInfo</span><span class="punctuation accessor scala">.</span>asJson)</span><br><span class="line">        <span class="variable language underscore scala">_</span> <span class="keyword operator assignment scala">&lt;-</span> <span class="support constant scala">IO</span>(modules<span class="punctuation accessor scala">.</span>flywayMigrator<span class="punctuation accessor scala">.</span>migrate())</span><br><span class="line">        <span class="variable parameter scala">routes</span> <span class="keyword operator assignment scala">&lt;-</span> modules<span class="punctuation accessor scala">.</span>router<span class="punctuation accessor scala">.</span>withCors<span class="punctuation accessor scala">.</span>map[<span class="support class scala">Kleisli</span>[<span class="support class scala">IO</span>, <span class="support class scala">Request</span>[<span class="support class scala">IO</span>], <span class="support class scala">Response</span>[<span class="support class scala">IO</span>]]](<span class="variable language underscore scala">_</span><span class="punctuation accessor scala">.</span>orNotFound)</span><br><span class="line">        <span class="variable parameter scala">httpApp</span> <span class="keyword operator assignment scala">&lt;-</span> <span class="support constant scala">IO</span>(<span class="keyword other scala">new</span> <span class="support class scala">HttpAppBuilder</span>(routes<span class="punctuation separator scala">,</span> maybeTracer)<span class="punctuation accessor scala">.</span>build)</span><br><span class="line">        <span class="variable language underscore scala">_</span> <span class="keyword operator assignment scala">&lt;-</span> server(host<span class="punctuation separator scala">,</span> port<span class="punctuation separator scala">,</span> httpApp)<span class="punctuation accessor scala">.</span>use(<span class="variable language underscore scala">_</span> <span class="storage type function arrow scala">=&gt;</span> <span class="support constant scala">IO</span><span class="punctuation accessor scala">.</span>never)</span><br><span class="line">      } <span class="keyword control flow scala">yield</span> <span class="support constant scala">ExitCode</span><span class="punctuation accessor scala">.</span><span class="support constant scala">Success</span></span><br><span class="line">    <span class="punctuation section block end scala">}</span></span></span><br><span class="line"><span class="punctuation section block end scala">}</span></span></span></span><br></pre>
+        </td>
+      </tr>
+    </tbody>
+  </table>
+</figure>
 `;