The most conservative approach would mark everything stale as soon as a single character change is made.
Somewhere in between is using the PSI engine to propagate staleness to all callers of whatever we are editing. But this doesn't cover every scenario... try to come up with a counter example.
Right now, we are only "stale" on a new commit.
The most conservative approach would mark everything stale as soon as a single character change is made.
Somewhere in between is using the PSI engine to propagate staleness to all callers of whatever we are editing. But this doesn't cover every scenario... try to come up with a counter example.