mirror of
				https://codeberg.org/forgejo/forgejo.git
				synced 2025-10-25 03:22:36 +00:00 
			
		
		
		
	* Server-side syntax hilighting for all code This PR does a few things: * Remove all traces of highlight.js * Use chroma library to provide fast syntax hilighting directly on the server * Provide syntax hilighting for diffs * Re-style both unified and split diffs views * Add custom syntax hilighting styling for both regular and arc-green Fixes #7729 Fixes #10157 Fixes #11825 Fixes #7728 Fixes #3872 Fixes #3682 And perhaps gets closer to #9553 * fix line marker * fix repo search * Fix single line select * properly load settings * npm uninstall highlight.js * review suggestion * code review * forgot to call function * fix test * Apply suggestions from code review suggestions from @silverwind thanks Co-authored-by: silverwind <me@silverwind.io> * code review * copy/paste error * Use const for highlight size limit * Update web_src/less/_repository.less Co-authored-by: Lauris BH <lauris@nix.lv> * update size limit to 1MB and other styling tweaks * fix highlighting for certain diff sections * fix test * add worker back as suggested Co-authored-by: silverwind <me@silverwind.io> Co-authored-by: Lauris BH <lauris@nix.lv>
		
			
				
	
	
		
			51 lines
		
	
	
	
		
			2 KiB
		
	
	
	
		
			Go
		
	
	
	
		
			Vendored
		
	
	
	
			
		
		
	
	
			51 lines
		
	
	
	
		
			2 KiB
		
	
	
	
		
			Go
		
	
	
	
		
			Vendored
		
	
	
	
| package styles
 | |
| 
 | |
| import (
 | |
| 	"github.com/alecthomas/chroma"
 | |
| )
 | |
| 
 | |
| // Manni style.
 | |
| var Manni = Register(chroma.MustNewStyle("manni", chroma.StyleEntries{
 | |
| 	chroma.TextWhitespace:        "#bbbbbb",
 | |
| 	chroma.Comment:               "italic #0099FF",
 | |
| 	chroma.CommentPreproc:        "noitalic #009999",
 | |
| 	chroma.CommentSpecial:        "bold",
 | |
| 	chroma.Keyword:               "bold #006699",
 | |
| 	chroma.KeywordPseudo:         "nobold",
 | |
| 	chroma.KeywordType:           "#007788",
 | |
| 	chroma.Operator:              "#555555",
 | |
| 	chroma.OperatorWord:          "bold #000000",
 | |
| 	chroma.NameBuiltin:           "#336666",
 | |
| 	chroma.NameFunction:          "#CC00FF",
 | |
| 	chroma.NameClass:             "bold #00AA88",
 | |
| 	chroma.NameNamespace:         "bold #00CCFF",
 | |
| 	chroma.NameException:         "bold #CC0000",
 | |
| 	chroma.NameVariable:          "#003333",
 | |
| 	chroma.NameConstant:          "#336600",
 | |
| 	chroma.NameLabel:             "#9999FF",
 | |
| 	chroma.NameEntity:            "bold #999999",
 | |
| 	chroma.NameAttribute:         "#330099",
 | |
| 	chroma.NameTag:               "bold #330099",
 | |
| 	chroma.NameDecorator:         "#9999FF",
 | |
| 	chroma.LiteralString:         "#CC3300",
 | |
| 	chroma.LiteralStringDoc:      "italic",
 | |
| 	chroma.LiteralStringInterpol: "#AA0000",
 | |
| 	chroma.LiteralStringEscape:   "bold #CC3300",
 | |
| 	chroma.LiteralStringRegex:    "#33AAAA",
 | |
| 	chroma.LiteralStringSymbol:   "#FFCC33",
 | |
| 	chroma.LiteralStringOther:    "#CC3300",
 | |
| 	chroma.LiteralNumber:         "#FF6600",
 | |
| 	chroma.GenericHeading:        "bold #003300",
 | |
| 	chroma.GenericSubheading:     "bold #003300",
 | |
| 	chroma.GenericDeleted:        "border:#CC0000 bg:#FFCCCC",
 | |
| 	chroma.GenericInserted:       "border:#00CC00 bg:#CCFFCC",
 | |
| 	chroma.GenericError:          "#FF0000",
 | |
| 	chroma.GenericEmph:           "italic",
 | |
| 	chroma.GenericStrong:         "bold",
 | |
| 	chroma.GenericPrompt:         "bold #000099",
 | |
| 	chroma.GenericOutput:         "#AAAAAA",
 | |
| 	chroma.GenericTraceback:      "#99CC66",
 | |
| 	chroma.GenericUnderline:      "underline",
 | |
| 	chroma.Error:                 "bg:#FFAAAA #AA0000",
 | |
| 	chroma.Background:            " bg:#f0f3f3",
 | |
| }))
 |