Closed
Bug 1346172
Opened 8 years ago
Closed 8 years ago
Fix Geolocation prefs
Categories
(Core :: DOM: Geolocation, defect)
Core
DOM: Geolocation
Tracking
()
RESOLVED
FIXED
mozilla55
Tracking | Status | |
---|---|---|
firefox55 | --- | fixed |
People
(Reporter: mds, Assigned: mds)
References
Details
Attachments
(1 file)
No description provided.
Comment hidden (mozreview-request) |
Comment 2•8 years ago
|
||
You are mixing the changes, why that?
Assignee | ||
Comment 3•8 years ago
|
||
(In reply to Sylvestre Ledru [:sylvestre] from comment #2)
> You are mixing the changes, why that?
I don't know what you're saying here: unless I'm totally mistaken by the way "EARLY_BETA_OR_EARLIER" [1] works this should be exactly as it is supposed to be.
[1] from the outcome of our chat, EARLY_BETA_OR_EARLIER should ALSO include DEV_EDITION and NIGHTLY, right?
Flags: needinfo?(sledru)
Comment 4•8 years ago
|
||
mozreview-review |
Comment on attachment 8845864 [details]
Bug 1346172 - Fix Geolocation prefs.
https://reviewboard.mozilla.org/r/119008/#review121124
::: browser/app/profile/firefox.js:1257
(Diff revision 1)
> //
> -
> -// Geolocation preferences for the RELEASE channel.
> +// Geolocation preferences for Nightly/Aurora/Early Beta.
> +//
> // Some of these prefs are specified even though they are redundant; they are
> -// here for clarity and end-user experiments.
> -#ifdef RELEASE
> +// here for clarity.
> +#ifdef EARLY_BETA_OR_EARLIER
Seems like your diff would be simpler and easier to review if you just replaced `#ifdef RELEASE` with the inverted logic `#ifndef EARLY_BETA_OR_EARLIER`.
Comment hidden (mozreview-request) |
Assignee | ||
Comment 7•8 years ago
|
||
(In reply to Sylvestre Ledru [:sylvestre] from comment #5)
> Exactly what Chris said :)
Oh, I see. The explanation is trivial: consistency with the surrounding context. There's no other negative EARLY_BETA_OR_EARLIER check anywhere in the pref file.
Anyhow, it's been updated.
Comment 8•8 years ago
|
||
mozreview-review |
Comment on attachment 8845864 [details]
Bug 1346172 - Fix Geolocation prefs.
https://reviewboard.mozilla.org/r/119008/#review122516
Thanks, much better!
Attachment #8845864 -
Flags: review?(sledru) → review+
Assignee | ||
Comment 9•8 years ago
|
||
(In reply to Sylvestre Ledru [:sylvestre] from comment #8)
> Thanks, much better!
Thank you!:)
Comment 10•8 years ago
|
||
Pushed by mdesimone@mozilla.com:
https://hg.mozilla.org/integration/autoland/rev/0198076d288f
Fix Geolocation prefs. r=sylvestre
Comment 11•8 years ago
|
||
bugherder |
Status: NEW → RESOLVED
Closed: 8 years ago
status-firefox55:
--- → fixed
Resolution: --- → FIXED
Target Milestone: --- → mozilla55
You need to log in
before you can comment on or make changes to this bug.
Description
•