Alexandre FLAMENT 4a72a6b9fc Theme: fix autocompletion with the POST method ... With the POST method, autocomplete.js does not URL encode the values. For example "1+1" is sent as "1+1" which is read as "1 1" since space are URL encoded with a plus. There is no clean way to fix the bug since autocomplete.js seems abandoned. The commit monkey patches the ajax function of autocomplete.js Related to #1695		2022-08-27 06:48:30 +00:00
..
generated	make pygments.less	2022-08-19 10:00:50 +02:00
js	Theme: fix autocompletion with the POST method	2022-08-27 06:48:30 +00:00
less	Submit GH bug: ask the user to do some checks before submitting a new issue	2022-07-08 09:04:57 +02:00
svg	Theme: all top right icons have labels including "Preferences"	2022-07-02 10:04:35 +02:00