On Sun, Oct 09 2016, Ioan-Adrian Ratiu wrote:
> From: Mark Walters
>
> The current refresh code is a little haphazard with some of the
> refresh functions called interactively, and some not. Some of the
> refresh functions take arguments and they
From: Mark Walters
The current refresh code is a little haphazard with some of the
refresh functions called interactively, and some not. Some of the
refresh functions take arguments and they aren't consistent.
This makes all the functions have the same form.
---