diff --git a/python/resources/tips/BuiltInServer.html b/python/resources/tips/BuiltInServer.html index 4515f0406f56..ad4eed996ec3 100644 --- a/python/resources/tips/BuiltInServer.html +++ b/python/resources/tips/BuiltInServer.html @@ -5,8 +5,11 @@ -

It is very easy to change the built-in web server port (File | Settings – Debugger – JavaScript), -and use the "Built-in server port" spinner to set the new value.

+

It is very easy to change the built-in web server port. +In the Settings/Preferences dialog, expand the node +Build, Execution, Deployment, and click +Debugger. +Then, use the "Built-in server port" spin box to set the new value.

Next, open an HTML page in your browser and see it running on the defined port.

diff --git a/python/resources/tips/images/builtInServer.png b/python/resources/tips/images/builtInServer.png index 9adc67ca7df3..f70861b9abd7 100644 Binary files a/python/resources/tips/images/builtInServer.png and b/python/resources/tips/images/builtInServer.png differ diff --git a/python/resources/tips/images/builtInServer@2x.png b/python/resources/tips/images/builtInServer@2x.png index 27cfb66ac822..ca209724a1cd 100644 Binary files a/python/resources/tips/images/builtInServer@2x.png and b/python/resources/tips/images/builtInServer@2x.png differ diff --git a/python/resources/tips/images/buitInServer@2x_dark.png b/python/resources/tips/images/buitInServer@2x_dark.png new file mode 100644 index 000000000000..032f1fe97e96 Binary files /dev/null and b/python/resources/tips/images/buitInServer@2x_dark.png differ diff --git a/python/resources/tips/images/buitInServer_dark.png b/python/resources/tips/images/buitInServer_dark.png new file mode 100644 index 000000000000..323e7e834832 Binary files /dev/null and b/python/resources/tips/images/buitInServer_dark.png differ