salut la liste, La dernière mise à jour de Gnome Maps a installé la version 3.20 sur mon ordi. Depuis lors, Gnome Maps ne démarre plus. Dans un terminal, voici ce que ça donne : ===== $ gnome-maps (org.gnome.Maps:6643): Gjs-WARNING **: JS ERROR: TypeError: GObject.ParamSpec.override is not a function @resource:///org/gnome/Maps/js/mapMarker.js:44 @resource:///org/gnome/Maps/js/placeMarker.js:24 @resource:///org/gnome/Maps/js/geoJSONSource.js:30 @resource:///org/gnome/Maps/js/geoJSONShapeLayer.js:22 @resource:///org/gnome/Maps/js/mapView.js:34 @resource:///org/gnome/Maps/js/mainWindow.js:38 @resource:///org/gnome/Maps/js/application.js:36 @resource:///org/gnome/Maps/js/main.js:43 start@resource:///org/gnome/gjs/modules/package.js:176 @/usr/bin/gnome-maps:5 JS_EvaluateScript() failed ===== J'ai fait un rapport de bug (819548) mais il vient d'être taggé comme "non reproductible". Suis-je le seul dans le cas ? D'autres personnes ont-elles aussi ce problème ? Merci d'avance. Jean-Marc <jean-marc@6jf.be>
Attachment:
pgpCj1YUjKkTT.pgp
Description: PGP signature