Still show last compiled goal-state while `Processing file...`
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 40/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
- 技術スタック
- lua, neovim
調査の方向性
Issue にはファイル、テスト、エントリポイントが指定されていません。まず、ファイルの処理中に lean.nvim が現在のゴールの状態をどのように表示するかを追跡します。以前にコンパイルされた状態を Processing file... インジケーターとともに表示し続けられるかを確認し、証明の編集中と再コンパイル中の挙動を検証してください。
索引モデルが issue の本文から書いたものです。
説明
When I'm writing a proof, I would love to be able to have a consistent point of reference of existing hypothesis in the scope. Currently on every justification step I have to stop, wait for the file to process, and then in 90% of cases look for a hypothesis that was already available to find its name and exact statement.
It would be so much faster to have an option (or have it be default) of seeing the previously compiled state with a small indicator of Processing file... at the bottom or to the side, which would allow to write proofs without needless interrupts.
- 主要言語
- Lua
- スター
- 601
- フォーク
- 61
- 平均マージ
- 3日 14時間
- マージ済み PR（30日）
- 7
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
Julian/lean.nvim のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 66/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
-
難易度 3/5 半日 初心者へのやさしさ 35/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 58/100
Julian/lean.nvim の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
[Operation Enhancement]: .editorconfigと.gitattributesでdictionaryとLuaファイルの編集・改行設定を統一する対応中かも @5kdn が今日担当しました。 オープン
難易度 1/5 1時間未満 初心者へのやさしさ 80/100
5kdn/DCS-Translation-Japanese#163 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
bug help wanted
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
S1M0N38/love2d.nvim#31 ·
-
fzf-lua PR picker cannot preview or open stacked PRs: attempt to index local 'entry' (a nil value)オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100