дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-08 19:02:17 +02:00
Shohruh Ismoilovтаshohruh-genius
99100e48bd
`.http` and `.rest` files left gRPC, WebSocket and custom-method requests unhighlighted: the parser waited for one of nine HTTP verbs, so the headers and body after any other request line stayed plain, and JSON bodies had only partial token colours.
The parser now recognises these request lines and bare URL targets, and gives JSON keys, values and punctuation their editor roles, including `{{variables}}` inside strings.
Siblings covered: an upper-case word that is not a request line stays plain text, and JSON highlighting does not reach form, XML, text or GraphQL bodies. Run gutter positions are unchanged.
Co-authored-by: shohruh-genius <[email protected]>
56 рядки
1.8 KiB
TypeScript
56 рядки
1.8 KiB
TypeScript
import "../src/styles/tokens.css";
|
|
import { EditorView } from "@codemirror/view";
|
|
import { syntaxHighlighting } from "@codemirror/language";
|
|
import { registerLanguageMode } from "../src/editor/api";
|
|
import { openideaHighlightStyle } from "../src/editor/core/cm/highlight";
|
|
import { findLanguageDescription, loadSupport } from "../src/editor/core/cm/languages";
|
|
import { httpLanguageDescription } from "../src/features/http-client/language";
|
|
|
|
const params = new URLSearchParams(location.search);
|
|
document.documentElement.dataset.theme = params.get("theme") ?? "dark";
|
|
document.body.style.backgroundColor = "var(--bg-editor)";
|
|
document.body.style.color = "var(--fg-editor)";
|
|
registerLanguageMode(httpLanguageDescription);
|
|
const file = params.has("rest") ? "requests.rest" : "requests.http";
|
|
const support = await loadSupport(findLanguageDescription("HTTP", file)!);
|
|
const http = document.createElement("div");
|
|
http.id = "http";
|
|
document.body.append(http);
|
|
new EditorView({
|
|
parent: http,
|
|
doc: `### gRPC request with a JSON body
|
|
GRPC localhost:9003/example.Greeter/SayHello
|
|
Content-Type: application/json
|
|
|
|
{
|
|
"name": "World",
|
|
"count": 12,
|
|
"enabled": true,
|
|
"empty": null,
|
|
"items": [1, 2, 3]
|
|
}
|
|
|
|
### WebSocket message
|
|
WEBSOCKET ws://localhost:8080/events
|
|
|
|
{"message": "hello", "ready": false}
|
|
|
|
### Regular HTTP request
|
|
POST https://example.test/messages
|
|
|
|
{"message": "HTTP still works", "count": 1}`,
|
|
extensions: [support!, syntaxHighlighting(openideaHighlightStyle)],
|
|
});
|
|
|
|
const json = document.createElement("div");
|
|
json.id = "json";
|
|
document.body.append(json);
|
|
new EditorView({
|
|
parent: json,
|
|
doc: '{"name": "World", "count": 12, "enabled": true, "ready": false, "empty": null, "items": [1]}',
|
|
extensions: [
|
|
await loadSupport(findLanguageDescription("JSON", "body.json")!),
|
|
syntaxHighlighting(openideaHighlightStyle),
|
|
],
|
|
});
|