On Sat, 15 Aug 2020, Sven Schreiber wrote:
Am 15.08.2020 um 02:39 schrieb Allin Cottrell:
> On Fri, 14 Aug 2020, Sven Schreiber wrote:
>
>> Am 14.08.2020 um 10:39 schrieb Sven Schreiber:
>>> Hi,
>>> I'm wondering: Now with the geoplot addon in recent gretl versions we
>>> have new file types understood by gretl, namely geojson and shape format
>>> files. I guess it would be good if the file-open dialog could filter for
>>> those files? (.json, .shp, perhaps .geojson)
>>
>> Sorry, to avoid confusion: It seems this is already implemented when
>> going via File - open - user file.
>> However, when going through File - Resource from addon - geoplot I only
>> see the filters inp, gdt, gdtb.
>
> Yes, but by default you get to see _all_ files in those "resource"
> directories (all of them should be suitable in some way or other), so
> there's little point in allowing restriction to only shp or json or
> whatever.
Well yes, by default and initially it shouldn't be restricted. But I
noticed this precisely because I wanted to see only the available
geographic definitions without being distracted by the other stuff. And
that isn't currently possible.
OK, it's possible now, in git.
Allin