GNOME Bugzilla – Bug 740560
json.lang: minor improvements (MIME + geoJSON & topoJSON)
Last modified: 2014-11-23 10:50:09 UTC
Created attachment 291283 [details] [review] json.lang improvement patch According to RFC7159 and IANA, JSON official MIME media type is application/JSON, better specify it. GeoJSON (.geo.json or .geojson files) and TopoJSON (.topojson files) are both JSON based formats. This patch also adds file extension detection for those two.
Commit pushed: https://git.gnome.org/browse/gtksourceview/commit/?id=ece6fdc563eee9ecfb510843e2f75453b23b6b5a Thanks!