Hi,
>From gnome-shell I can call:
let file = Gio.file_new_for_uri(uri);
and then
file.read_async(0, null, function(source, result) {let stream =
source.read_finish(result); });
But then gjs say that read_finish() is not supported
So I wounder what is the trick to download web page ?
I can't find any hints from reading the code in:
~/gnome-shell/source/gnome-shell/tests/interactive
or
~/gnome-shell/source/gnome-shell/js/ui
Example from seed using the call read_finish() work though.
thanks,
Sylvain.
_______________________________________________
gnome-shell-list mailing list
[email protected]
http://mail.gnome.org/mailman/listinfo/gnome-shell-list
