Tips updated (PY-14236).

2026-09-27 10:03:11 +07:00 · 2015-05-18 20:40:13 +02:00
parent 35f69ceac9
commit 15a41488eb
5 changed files with 5 additions and 2 deletions
@@ -5,8 +5,11 @@
 <body>


-    <p>It is very easy to change the built-in web server port (<span class="control">File | Settings &ndash; Debugger &ndash; JavaScript</span>),
-and use the &quot;Built-in server port&quot; spinner to set the new value. </p>
+<p>It is very easy to change the built-in web server port.
+In the Settings/Preferences dialog, expand the node 
+<span class="control">Build, Execution, Deployment</span>, and click 
+<span class="control">Debugger</span>. 
+Then, use the &quot;Built-in server port&quot; spin box to set the new value. </p>
    <p class="image"><img src="images/builtInServer.png"></p>
    <p>Next, open an HTML page in your browser and see it running on the defined port.</p>