forgejo/web_src/js/features
Giteabot 73e70f3c44 Enable whitespace rendering on selection in Monaco () ()
Backport  by @silverwind

Remove the
[renderWhitespace](https://microsoft.github.io/monaco-editor/docs.html#interfaces/editor.IEditorOptions.html#renderWhitespace)
override, so the default value of `selection` takes over and makes
whitespace visible on selection.

<img width="128" alt="Screenshot 2023-04-30 at 19 09 41"
src="https://user-images.githubusercontent.com/115237/235366707-d598268d-03cc-4839-a195-c460bddae99b.png">

Co-authored-by: silverwind <me@silverwind.io>
2023-05-02 23:29:38 -04:00
..
admin Fix some more hidden problems () () 2023-02-22 15:26:48 +00:00
comp Scoped labels: set aria-disabled on muted Exclusive option for a11y () () 2023-03-05 23:05:11 +08:00
aria.js Use 1.18's aria role for dropdown menus () () 2023-04-17 07:02:09 -04:00
aria.md Fix aria.js bugs: incorrect role element problem, mobile focus problem, tippy problem () () 2023-03-18 17:14:19 +01:00
captcha.js Add new captcha: cloudflare turnstile () 2023-02-05 15:29:03 +08:00
citation.js Fix switched citation format () () 2023-03-02 14:05:10 -06:00
clipboard.js Use link in UI which returned a relative url but not html_url which contains an absolute url () 2023-02-06 12:09:18 -06:00
codeeditor.js Enable whitespace rendering on selection in Monaco () () 2023-05-02 23:29:38 -04:00
colorpicker.js JS refactors () 2022-12-24 00:03:11 +08:00
common-global.js Remove row clicking from notification table () () 2023-03-26 01:21:40 +02:00
common-issue.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
common-organization.js Fix Org edit page bugs: renaming detection, maxlength () () 2023-04-17 12:20:47 -04:00
contextpopup.js Change interactiveBorder to fix popup preview () () 2023-03-06 16:45:43 +08:00
copycontent.js JS refactors () 2022-12-24 00:03:11 +08:00
dropzone.js JS refactors () 2022-12-24 00:03:11 +08:00
emoji.js JS refactors () 2022-12-24 00:03:11 +08:00
eventsource.sharedworker.js Fix the JS error "EventSource is not defined" caused by some non-standard browsers () 2022-08-03 22:58:27 +03:00
file-fold.js Scroll collapsed file into view () () 2023-04-05 13:49:22 +03:00
formatting.js JS refactors () 2022-12-24 00:03:11 +08:00
heatmap.js JS refactors () 2022-12-24 00:03:11 +08:00
imagediff.js Fix various ImageDiff/SVG bugs () () 2023-03-07 15:38:13 +02:00
install.js Fix various bugs for "install" page () () 2023-03-05 11:59:58 +01:00
notification.js Move helpers to be prefixed with gt- () 2023-02-13 17:59:59 +00:00
org-team.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
pull-view-file.js Replace unstyled meter with progress () 2022-06-15 12:28:24 +08:00
repo-branch.js Add apply-patch, basic revert and cherry-pick functionality () 2022-02-09 20:28:55 +00:00
repo-code.js Fix links for the menus in the view file page () 2023-02-08 00:08:44 +08:00
repo-code.test.js Ignore line anchor links with leading zeroes () 2022-11-11 18:22:36 +08:00
repo-commit.js Fix hidden commit status on multiple checks () 2023-02-20 16:43:04 +08:00
repo-common.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-diff-filetree.js JS refactors () 2022-12-24 00:03:11 +08:00
repo-diff.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-editor.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-findfile.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-findfile.test.js Escape path for the file list () 2023-02-04 10:30:55 +00:00
repo-graph.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-home.js Sort repo topic labels by name () () 2023-04-17 09:00:19 +08:00
repo-issue-content.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-issue-pr-form.js JS refactors () 2022-12-24 00:03:11 +08:00
repo-issue.js Fix code view (diff) broken layout () () 2023-04-04 16:02:29 +02:00
repo-legacy.js Fix issue attachment handling () () 2023-04-20 04:21:10 -04:00
repo-migrate.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-migration.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-projects.js Scoped labels () 2023-02-18 21:17:39 +02:00
repo-release.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-settings.js Remove customized (unmaintained) dropdown, improve aria a11y for dropdown () 2022-06-03 17:38:26 -04:00
repo-template.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-unicode-escape.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
repo-wiki.js Enable spellcheck for EasyMDE, use contenteditable mode () 2022-06-29 01:52:58 +08:00
serviceworker.js JS refactors () 2022-12-24 00:03:11 +08:00
sshkey-helper.js Use explicit jQuery import, remove unused eslint globals () 2022-01-28 21:00:11 +00:00
stopwatch.js Move helpers to be prefixed with gt- () 2023-02-13 17:59:59 +00:00
tablesort.js JS refactors () 2022-12-24 00:03:11 +08:00
tribute.js JS refactors () 2022-12-24 00:03:11 +08:00
user-auth-webauthn.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
user-auth.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00
user-settings.js Refactor hiding-methods, remove jQuery show/hide, remove .hide class, remove inline style=display:none () 2023-02-19 12:06:14 +08:00