From 2e49a02f27f3ba38a8c73973e91f3afeae1061dd Mon Sep 17 00:00:00 2001 From: _ov4 Date: Sun, 18 Oct 2026 07:27:14 +0000 Subject: feat(plugin): rename extension to plugin Co-Authored-By: Claude Opus 5.5 --- plugin/AGENTS/ARCH.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'plugin/AGENTS/ARCH.md') diff --git a/plugin/AGENTS/ARCH.md b/plugin/AGENTS/ARCH.md index b25a6d7..590c1ac 100644 --- a/plugin/AGENTS/ARCH.md +++ b/plugin/AGENTS/ARCH.md @@ -95,7 +95,8 @@ Follow the current compiler, rather than implementing every PDF feature: Language defaults use real Tabs, display width 4, disabled indentation detection, full automatic indentation, on-type formatting and native bracket pair colors. -The default formatter is `ovfor4.cie-pseudocode`. User and workspace settings can +The extension name and display name are `plugin`; its ID is `ovfor4.plugin`. +The default formatter is `ovfor4.plugin`. User and workspace settings can override editor defaults. The author credit is `_ov4`. The publisher ID stays `ovfor4`, because vsce accepts -- cgit v1.3.1-4-g156e