Allow customizing infoview components via some Lua API

Aperta
  • Qualcosa non va?
#172 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
25/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Ferma
Stack tecnologico
lua, neovim
Ambito
frontend, tooling

Direzione di ricerca

Inizia individuando l’implementazione di infoview e tracciando il modo in cui vengono assemblati il suo stato delle tattiche, lo stato dei termini, le informazioni diagnostiche e i componenti standard degli errori. Definisci l’API Lua supportata intorno alla forma proposta di lean.setup; il lavoro sarà completo quando gli utenti potranno riordinare i componenti, aggiungerne di propri e personalizzare la visualizzazione dello stato dei termini o delle tattiche.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

enhancement infoview

The infoview assembles a number of subcomponents --

Tactic state,
Term state,
Diagnostic info,
Standard error output,

It may be nice to allow some customization here at some point -- such that users who want to reorder the components, or add one of their own, or change the way term or tactic state is displayed in a supported way, etc. can do so.

E.g. as a pseudo-API:

lean.setup{
    infoview = {components = {
        lean.infoview.components.tactic_state(),
        lean.infoview.components.term_state(),
        lean.infoview.components.diagnostic_info{ level = DiagnosticSeverity.warning },
        lean.infoview.components.server_stderr(),
    }},
}
Lingua principale
Lua
Stelle
616
Fork
63
Merge medio
1g 7h
PR unite (30g)
10

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di Julian/lean.nvim

Tutte le issue di Julian/lean.nvim

Issue simili

Altre issue su Lua

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.