[PR #1202] [MERGED] Vue highlighting added for Gitpod #1638

New issue

Closed

opened 2026-02-26 03:31:45 +03:00 by kerem · 0 comments

kerem commented

2026-02-26 03:31:45 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/koel/koel/pull/1202
Author: @JesusRugama
Created: 4/2/2020
Status: ✅ Merged
Merged: 4/2/2020
Merged by: @phanan

Base: master ← Head: gitpod-vue-highlighting

📝 Commits (1)

5d32b84 Vue highlighting added for Gitpod

📊 Changes

1 file changed (+3 additions, -0 deletions)

View changed files

📝 .gitpod.yml (+3 -0)

📄 Description

This PR adds vetur as an extension in Gitpod's VS code

"Vetur provides syntax highlighting, snippets, Emmet support, linting/error checking, auto-formatting, and auto-complete for Vue files."

Atm the vue files look like this on Gitpod:

After this change:

_{🔄 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/koel/koel/pull/1202 **Author:** [@JesusRugama](https://github.com/JesusRugama) **Created:** 4/2/2020 **Status:** ✅ Merged **Merged:** 4/2/2020 **Merged by:** [@phanan](https://github.com/phanan) **Base:** `master` ← **Head:** `gitpod-vue-highlighting` --- ### 📝 Commits (1) - [`5d32b84`](https://github.com/koel/koel/commit/5d32b844630abe812cc58cc9343b263d2211474a) Vue highlighting added for Gitpod ### 📊 Changes **1 file changed** (+3 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `.gitpod.yml` (+3 -0) </details> ### 📄 Description This PR adds vetur as an extension in Gitpod's VS code "Vetur provides syntax highlighting, snippets, Emmet support, linting/error checking, auto-formatting, and auto-complete for Vue files." Atm the vue files look like this on Gitpod: <img width="774" alt="Screen Shot 2020-04-02 at 3 38 20 AM" src="https://user-images.githubusercontent.com/3472889/78233759-7595fd80-7493-11ea-952e-cc297ffbef71.png"> After this change: <img width="766" alt="Screen Shot 2020-04-02 at 3 40 58 AM" src="https://user-images.githubusercontent.com/3472889/78234031-cdccff80-7493-11ea-9ac0-518126eee212.png"> --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

kerem

2026-02-26 03:31:45 +03:00

closed this issue
added the
pull-request
label

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

starred/koel-koel#1638

No description provided.

Rows
Columns