diff options
| author | silverwind <me@silverwind.io> | 2023-04-13 21:05:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-13 15:05:06 -0400 |
| commit | 469dc4459bb7f56cf8a6daa9c234164c0889bdda (patch) | |
| tree | bd1f8f14c47a99e8af49805bb61f32c87472f074 /options/locale/locale_en-US.ini | |
| parent | 29194a9dd6f5d8a98096a4a01c33d9be89616ed7 (diff) | |
| download | gitea-469dc4459bb7f56cf8a6daa9c234164c0889bdda.tar.gz gitea-469dc4459bb7f56cf8a6daa9c234164c0889bdda.zip | |
Add monospace toggle button to textarea (#24034)
- Add new button to textarea to switch font. State is persisted in
localStorage.
- Change markdown-switch-easymde button from `<span>` to `<button>`
- Slightly increased monospace font globally by 5% as I think it fits
better.
For hover effect on these buttons I'm deferring to
https://github.com/go-gitea/gitea/pull/23896.
---------
Co-authored-by: delvh <dev.lh@web.de>
Diffstat (limited to 'options/locale/locale_en-US.ini')
| -rw-r--r-- | options/locale/locale_en-US.ini | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index d467204eed..f71ea824e9 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -133,6 +133,8 @@ buttons.list.task.tooltip = Add a list of tasks buttons.mention.tooltip = Mention a user or team buttons.ref.tooltip = Reference an issue or pull request buttons.switch_to_legacy.tooltip = Use the legacy editor instead +buttons.enable_monospace_font = Enable monospace font +buttons.disable_monospace_font = Disable monospace font [filter] string.asc = A - Z |