( self )
| 95 | |
| 96 | |
| 97 | def Refresh( self ): |
| 98 | if self._tick != vimsupport.GetBufferChangedTick( self._bufnr ): |
| 99 | # stale data |
| 100 | return |
| 101 | |
| 102 | if self._request is not None: |
| 103 | # request in progress; we''l handle refreshing when it's done. |
| 104 | return |
| 105 | |
| 106 | self._Draw() |
| 107 | |
| 108 | |
| 109 | def GrowRangeIfNeeded( self, rng ): |