Hugo Locurcio 15244e55bd Improve completion scroll bar visibility in the script editor ... This makes the scroll bar bar thicker and more opaque (roughly matching the editor theme's scroll bar by default).		2022-02-14 16:49:08 +01:00
..
classes	Improve completion scroll bar visibility in the script editor	2022-02-14 16:49:08 +01:00
tools	Fix typos with codespell	2022-02-10 12:30:19 +01:00
translations	Extract link titles for translation if available	2022-02-10 22:16:27 +03:00
Doxyfile	Replace HTTP links with HTTPS for sites with HTTPS versions	2021-08-22 20:13:11 -05:00
Makefile	i18n: Add --lang option to make_rst.py to write translated headings	2021-12-21 13:47:11 +01:00