symbol plugin does not cache
Offen
Priority: Low
- Vorherrschende Sprache
- Vala
- Sterne
- 521
- Forks
- 118
- Ø Merge
- 1 T. 8 Std.
- Gemergte PRs (30 T.)
- 14
Beschreibung
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
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.