mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-06 08:00:18 +07:00
Mathiasandintellij-monorepo-bot
ffabbafe0b
This commit is separated to reduce the noise during review. GitOrigin-RevId: 829358f891896dc628446727d2e335eff5262819
8 lines
527 B
HTML
8 lines
527 B
HTML
<html><head><base href="placeholder"></head><body><div class='definition'><pre><span style="color:#000080;font-weight:bold;">class</span> <span style="color:#000000;">Region</span></pre></div><div class='content'>
|
|
<pre>public static void main(String[] args) {
|
|
...
|
|
System.out.println("<span style="color:#000000;background-color:#ffff00;">Hello</span>");
|
|
<span style="color:#000000;background-color:#ffff00;"> System.out.println("Whole line"); </span>
|
|
...omitted...}
|
|
</pre>
|
|
</div><table class='sections'><p></table> |