Cole Robinson 2266b650a5 preferences: Disable XML editing by default
This adds a field in gsettings and preferences UI to enable
XML editing. It's off by default. The XML tab page is still visible,
but the textview is not editable, and there's a warning at the top:

  XML editing is disabled in 'Preferences'.
  Only enable it if you know what you are doing.

When the setting is enabled, the warning goes away and the textview
is editable. This puts a roadblock up for people that don't know what
they are doing, but still advertises the feature and keeps the
UI surface difference fairly small between on/off states.
2019-06-13 07:17:34 -04:00
..
2019-06-13 07:15:46 -04:00
2019-06-13 07:15:46 -04:00
2019-06-13 07:15:46 -04:00
2019-06-13 07:15:46 -04:00
2019-05-17 15:35:41 -04:00
2019-06-13 07:17:34 -04:00
2019-06-13 07:17:34 -04:00