true <_summary> Enable internal tools useful for developers and testers from Alt-F2 <_description> Allows access to internal debugging and monitoring tools using the Alt-F2 dialog. [] <_summary>Uuids of extensions to disable <_description> GNOME Shell extensions have a uuid property; this key lists extensions which should not be loaded. true <_summary>Whether to collect stats about applications usage <_description> The shell normally monitors active applications in order to present the most used ones (e.g. in launchers). While this data will be kept private, you may want to disable this for privacy reasons. Please note that doing so won't remove already saved data. [ 'mozilla-firefox.desktop', 'evolution.desktop', 'openoffice.org-writer.desktop' ] <_summary>List of desktop file IDs for favorite applications <_description> The applications corresponding to these identifiers will be displayed in the favorites area. [] <_summary>History for command (Alt-F2) dialog 'single' <_summary>Overview workspace view mode <_description> The selected workspace view mode in the overview. Supported values are "single" and "grid". false <_summary>Show the week date in the calendar <_description> If true, display the ISO week date in the calendar. "12-hour" <_summary>Hour format <_description> This key specifies the hour format used by the panel clock. Possible values are "12-hour", "24-hour", "unix" and "custom". If set to "unix", the clock will display time in seconds since Epoch, i.e. 1970-01-01. If set to "custom", the clock will display time according to the format specified in the custom_format key. Note that if set to either "unix" or "custom", the show_date and show_seconds keys are ignored. '' <_summary>Custom format of the clock <_description> This key specifies the format used by the panel clock when the format key is set to "custom". You can use conversion specifiers understood by strftime() to obtain a specific format. See the strftime() manual for more information. false <_summary>Show time with seconds <_description> If true and format is either "12-hour" or "24-hour", display seconds in time. false <_summary>Show date in clock <_description> If true and format is either "12-hour" or "24-hour", display date in the clock, in addition to time. 15 <_summary>Framerate used for recording screencasts. <_description> The framerate of the resulting screencast recordered by GNOME Shell's screencast recorder in frames-per-second. '' <_summary>The gstreamer pipeline used to encode the screencast <_description> Sets the GStreamer pipeline used to encode recordings. It follows the syntax used for gst-launch. The pipeline should have an unconnected sink pad where the recorded video is recorded. It will normally have a unconnected source pad; output from that pad will be written into the output file. However the pipeline can also take care of its own output - this might be used to send the output to an icecast server via shout2send or similar. When unset or set to an empty value, the default pipeline will be used. This is currently 'videorate ! theoraenc ! oggmux' and records to Ogg Theora. 'ogv' <_summary>File extension used for storing the screencast <_description> The filename for recorded screencasts will be a unique filename based on the current date, and use this extension. It should be changed when recording to a different container format.