[Gretl-devel] Re: gretl 2023b coming up
On Tue, Jul 11, 2023 at 12:09 PM Sven Schreiber
<sven.schreiber(a)fu-berlin.de> wrote:
Under Help/Look for addons, I think the window is listing the available
addon versions from the server. The background was that people on older
gretl versions might be interested to update an addon without moving to
a newer gretl version. OK, but nowhere in that window does it mention a
server. (Only very indirectly at the bottom it says "network status: OK".)
In git and snapshots I've tried a redesign of that window (which was
not very clear, I agree).
The 4 columns now give: addon name, installed version, version on
server, and comment.
The comment variants are:
* If the two version numbers are the same: "Up to date"
* If the installed version is higher: "Local is newer"
* If the server version is higher and the server version is compatible
with the running gretl version: "Can be updated"
* Otherwise: "Requires gretl <version>", where <version> is the
requirement of the addon on the server.
Allin