Closed
Bug 1346172
Opened 7 years ago
Closed 7 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•7 years ago
|
||
You are mixing the changes, why that?
Assignee | ||
Comment 3•7 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•7 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•7 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•7 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•7 years ago
|
||
(In reply to Sylvestre Ledru [:sylvestre] from comment #8) > Thanks, much better! Thank you!:)
Comment 10•7 years ago
|
||
Pushed by mdesimone@mozilla.com: https://hg.mozilla.org/integration/autoland/rev/0198076d288f Fix Geolocation prefs. r=sylvestre
Comment 11•7 years ago
|
||
bugherder |
https://hg.mozilla.org/mozilla-central/rev/0198076d288f
Status: NEW → RESOLVED
Closed: 7 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
•