github-starred/gitea
2
0
Fork 0
mirror of https://github.com/go-gitea/gitea.git synced 2026-03-11 17:46:29 -05:00
Code Issues 2.6k Packages Projects Releases 100 Wiki Activity

FSharp highlighting incorrect #10099

New Issue
Closed
opened 2025-11-02 08:58:10 -06:00 by GiteaMirror · 1 comment
GiteaMirror commented 2025-11-02 08:58:10 -06:00
Owner
Copy Link

Originally created by @ShalokShalom on GitHub (Jan 13, 2023).

Description

FSharp syntax highlighting is on two different servers (Codeberg and private Gitea instance) rendered incorrectly.

The Chroma playground renderes it beautifully.

Screenshots

grafik
grafik

Gitea Version

Current

Can you reproduce the bug on the Gitea demo site?

Yes

Operating System

No response

Browser Version

Firefox 108.0.2

Originally created by @ShalokShalom on GitHub (Jan 13, 2023). ### Description FSharp syntax highlighting is on two different servers (Codeberg and private Gitea instance) rendered incorrectly. The Chroma playground renderes it beautifully. ### Screenshots ![grafik](https://user-images.githubusercontent.com/6344099/212427407-4a28a9cf-fd39-443b-8ec5-7b811bda429d.png) ![grafik](https://user-images.githubusercontent.com/6344099/212427523-3e3e035b-2b4b-4b2f-8417-45e1e2b95079.png) ### Gitea Version Current ### Can you reproduce the bug on the Gitea demo site? Yes ### Operating System _No response_ ### Browser Version Firefox 108.0.2
GiteaMirror added the topic/uitype/bug labels 2025-11-02 08:58:10 -06:00
GiteaMirror commented 2025-11-02 08:58:11 -06:00
Author
Owner
Copy Link

@ShalokShalom commented on GitHub (Jan 13, 2023):

https://github.com/alecthomas/chroma/issues/727

@ShalokShalom commented on GitHub (Jan 13, 2023): https://github.com/alecthomas/chroma/issues/727
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
$20
$250
$50
$500
backport/done
💎 Bounty
docs-update-needed
good first issue
hacktoberfest
issue/bounty
issue/confirmed
issue/critical
issue/duplicate
issue/needs-feedback
issue/not-a-bug
issue/regression
issue/stale
issue/workaround
lgtm/need 2
modifies/api
modifies/translation
outdated/backport/v1.18
outdated/theme/markdown
outdated/theme/timetracker
performance/bigrepo
performance/cpu
performance/memory
performance/speed
pr/breaking
proposal/accepted
proposal/rejected
pr/wip
pull-request
Mirrored from GitHub Pull Request
 reviewed/wontfix
💰 Rewarded
skip-changelog
status/blocked
topic/accessibility
topic/api
topic/authentication
topic/build
topic/code-linting
topic/commit-signing
topic/content-rendering
topic/deployment
topic/distribution
topic/federation
topic/gitea-actions
topic/issues
topic/lfs
topic/mobile
topic/moderation
topic/packages
topic/pr
topic/projects
topic/repo
topic/repo-migration
topic/security
topic/theme
topic/ui
topic/ui-interaction
topic/ux
topic/webhooks
topic/wiki
type/bug
type/deprecation
type/docs
type/enhancement
type/feature
type/miscellaneous
type/proposal
type/question
type/refactoring
type/summary
type/testing
type/upstream
No Label topic/ui type/bug
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#10099
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?