symbol plugin does not cache
オープン
Priority: Low
- 主要言語
- Vala
- スター
- 521
- フォーク
- 118
- 平均マージ
- 1日 8時間
- マージ済み PR（30日）
- 14
説明
When I close Scratch and re-open it, the symbols have to be reloaded for each file. We should save this data, at least as long as the tab is left open.
Launchpad Details: [#LP1431087](https://bugs.launchpad.net/bugs/1431087) Daniel Fore - 2015-03-12 00:41:58 +0000
コントリビューションガイド
評価
この issue はまだ評価されていません。