Add an option to set the WebView's UserAgent

[Chinory]

Web pages designed for mobile devices often have compact and responsive layouts, which are just right for pop-up windows.

I tried it and the result is beautiful:

Before

After

I hard-coded that in dict.js, as it is only for testing purposes:

// ...
this.web_view = Webkit.WebView.new_with_context(context);
let settings = this.web_view.get_settings();
// ...
settings.set_user_agent("Mozilla/5.0 (Linux; Android 6.0; Nexus 5 Build/MRA58N) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/87.0.4280.88 Mobile Safari/537.36");
this.web_view.set_settings(settings);

But in the final design, you should avoid asking users to manually set the UserAgent which they might make mistakes. So the options I wish to add are:

User Agent: [select] Default / Mobile / Manual

[textbox] not matter / copyable / editable

[sunwxg]

That's great, thank you.
How to set textbox?

[Chinory]

Sorry I don't know but I can recommend a plugin for reference.

Clock Override

This extension has only one option, it is a text box, and this its schema xml:

<schemalist>
  <schema id="org.gnome.shell.extensions.clock-override" path="/org/gnome/shell/extensions/clock_override/">
    <key name="override-string" type="s">
      <default>'%FT%R:%S%:z'</default>
      <summary>Override string</summary>
      <description>The text to display where the clock is. You can use special characters to include the time and date; for example '%Y-%m-%d %H.%M.%S', and see https://developer.gnome.org/glib/stable/glib-GDateTime.html#g-date-time-format</description>
   </key>
  </schema>
</schemalist>