Skip to content

Commit 72b7487

Browse files
author
saharmehrpour
committed
changed the content of the tool page in IDE
1 parent ed66b10 commit 72b7487

File tree

2 files changed

+5
-41
lines changed

2 files changed

+5
-41
lines changed

src/GrepServerToolWindowFactory.java

Lines changed: 3 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -107,29 +107,11 @@ private synchronized void publishServices() {
107107
"\n" +
108108
"</head>\n" +
109109
"<body style='font-family: \"Helvetica Neue\",Helvetica,Arial,sans-serif;font-size: 14px;line-height: 1.42857143;'>\n" +
110-
"<div style=\"margin: 20%\">Connected to the server.<br>\n" +
111-
" <ol>\n" +
112-
" <li>Open the Terminal.</li>\n" +
113-
" <li>Direct to the <strong>active-doc-client</strong> directory.</li>\n" +
114-
" <li>Run command <span style=\"font-family: monospace; background-color: antiquewhite;\">npm run start</span> to\n" +
115-
" start the application.\n" +
116-
" </li>\n" +
117-
" <li>The <em>npm</em> prints the address in which the tool is served in form of: <span\n" +
118-
" style=\"color: #337ab7;text-decoration: none;background-color: transparent;\">http://localhost:&lt;PORT&gt;</span>\n" +
119-
" </li>\n" +
120-
" <li>Open the URL in Chrome.</li>\n" +
121-
" </ol>\n" +
122-
" If the tool is running slow:\n" +
123-
" <ol>\n" +
124-
" <li>Stop the application using <kbd>ctrl</kbd>+<kbd>C</kbd>.</li>\n" +
125-
" <li>Change the port number in <strong>package.json</strong> in <strong>active-doc-client</strong> directory.</li>\n" +
126-
" <li>Restart the app using <span style=\"font-family: monospace; background-color: antiquewhite;\">npm run start</span>.</li>\n" +
127-
" <li>Open the new given URL in Chrome.</li>\n" +
128-
" </ol>\n" +
129-
"\n" +
110+
"<div style=\"margin: 20%\">Connected to the WebSocket.<br>\n" +
111+
" Open <span style=\"color: #337ab7;text-decoration: none;background-color: transparent;\">index.html</span> in Chrome.\n" +
130112
"</div>\n" +
131113
"</body>\n" +
132-
"</html>";
114+
"</html>\n";
133115
webEngine.loadContent(content, "text/html");
134116

135117

src/index.html

Lines changed: 2 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -9,26 +9,8 @@
99

1010
</head>
1111
<body style='font-family: "Helvetica Neue",Helvetica,Arial,sans-serif;font-size: 14px;line-height: 1.42857143;'>
12-
<div style="margin: 20%">Connected to the server.<br>
13-
<ol>
14-
<li>Open the Terminal.</li>
15-
<li>Direct to the <strong>active-doc-client</strong> directory.</li>
16-
<li>Run command <span style="font-family: monospace; background-color: antiquewhite;">npm run start</span> to
17-
start the application.
18-
</li>
19-
<li>The <em>npm</em> prints the address in which the tool is served in form of: <span
20-
style="color: #337ab7;text-decoration: none;background-color: transparent;">http://localhost:&lt;PORT&gt;</span>
21-
</li>
22-
<li>Open the URL in Chrome.</li>
23-
</ol>
24-
If the tool is running slow:
25-
<ol>
26-
<li>Stop the application using <kbd>ctrl</kbd>+<kbd>C</kbd>.</li>
27-
<li>Change the port number in <strong>package.json</strong> in <strong>active-doc-client</strong> directory.</li>
28-
<li>Restart the app using <span style="font-family: monospace; background-color: antiquewhite;">npm run start</span>.</li>
29-
<li>Open the new given URL in Chrome.</li>
30-
</ol>
31-
12+
<div style="margin: 20%">Connected to the WebSocket.<br>
13+
Open <span style="color: #337ab7;text-decoration: none;background-color: transparent;">index.html</span> in Chrome.
3214
</div>
3315
</body>
3416
</html>

0 commit comments

Comments
 (0)