github-starred/open-webui
2
0
Fork 0
mirror of https://github.com/open-webui/open-webui.git synced 2026-05-06 02:48:13 -05:00
Code Issues 1.1k Packages Projects Releases 126 Wiki Activity

[PR #7553] [MERGED] feat: add HCL highlighting #45130

New Issue
Closed
opened 2026-04-29 19:26:26 -05:00 by GiteaMirror · 0 comments
GiteaMirror commented 2026-04-29 19:26:26 -05:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/open-webui/open-webui/pull/7553
Author: @OhMyMndy
Created: 12/2/2024
Status: ✅ Merged
Merged: 12/16/2024
Merged by: @tjbck

Base: dev ← Head: codemirror-languages

📝 Commits (1)

  • 8fcb08c feat: add HCL highlighting

📊 Changes

3 files changed (+23 additions, -1 deletions)

View changed files

📝 package-lock.json (+12 -0)
📝 package.json (+1 -0)
📝 src/lib/components/common/CodeEditor.svelte (+10 -1)

📄 Description

Changelog Entry

Description

Syntax highlighting support for HCL (Terraform)

Added

  • Add HCL code highlighting support

Additional Information

Screenshots or Videos

Screenshot From 2024-12-02 11-18-06

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/open-webui/open-webui/pull/7553 **Author:** [@OhMyMndy](https://github.com/OhMyMndy) **Created:** 12/2/2024 **Status:** ✅ Merged **Merged:** 12/16/2024 **Merged by:** [@tjbck](https://github.com/tjbck) **Base:** `dev` ← **Head:** `codemirror-languages` --- ### 📝 Commits (1) - [`8fcb08c`](https://github.com/open-webui/open-webui/commit/8fcb08c541f4fbdd154b605f8c142fc90364b501) feat: add HCL highlighting ### 📊 Changes **3 files changed** (+23 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `package-lock.json` (+12 -0) 📝 `package.json` (+1 -0) 📝 `src/lib/components/common/CodeEditor.svelte` (+10 -1) </details> ### 📄 Description # Changelog Entry ### Description Syntax highlighting support for HCL (Terraform) ### Added - Add HCL code highlighting support --- ### Additional Information - https://github.com/open-webui/open-webui/discussions/7552 ### Screenshots or Videos ![Screenshot From 2024-12-02 11-18-06](https://github.com/user-attachments/assets/02d79a5a-cbc9-4033-b560-6ced06736c28) --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2026-04-29 19:26:26 -05:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
bug
confirmed
confirmed issue
core
documentation
enhancement
good first issue
help wanted
non-core
pull-request
Mirrored from GitHub Pull Request
 python
question
testing wanted
No Label pull-request
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/open-webui#45130
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?