Skip to content

Fix #44, Fix #175: show an error when server cannot be changed#205

Merged
leplatrem merged 1 commit intomasterfrom
44-detect-server-change
May 8, 2024
Merged

Fix #44, Fix #175: show an error when server cannot be changed#205
leplatrem merged 1 commit intomasterfrom
44-detect-server-change

Conversation

@leplatrem
Copy link
Contributor

@leplatrem leplatrem commented May 6, 2024

Fix #44, Fix #175

Alternative approaches:

  • Add a new field allowServerOverride in the RemoteSettings.inspect() response (ie. add Utils.allowServerOverride here). Clean, but requires to ride trains before being able to use it in the Dev Tools
  • Import Utils.sys.jsm in the DevTools api.js code. Less hacky to detect ignored pref change, but would break the current pattern where RemoteSettings.* is our interface to the internals of Gecko code

@leplatrem leplatrem changed the title Fix #44: show an error when server cannot be changed Fix #44, Fix #175: show an error when server cannot be changed May 6, 2024
<option value="dev-preview">Dev (preview)</option>
<option value="local">Local</option>
</select>
<div id="environment-error" class="error">⚠️ Environment cannot be changed. Try running Firefox with environment variable <pre>MOZ_REMOTE_SETTINGS_DEVTOOLS=1</pre></div>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We're probably gonna have a merge conflict with #209 here.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Dibs on merge! 😝

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

more seriously, this is pretty trivial to merge into your PR (both html element and css rule are "atomic")

@leplatrem leplatrem merged commit 4558bb4 into master May 8, 2024
@leplatrem leplatrem deleted the 44-detect-server-change branch May 8, 2024 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Preview mode is not read in by the dropdown menu correctly. Impossible to switch to stage?

3 participants