mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-13 07:24:47 +00:00
1e3b008bd7
Use the information in compatibility.ini to detect that the current running application is an older version than previously ran with the profile and in that case open a UI allowing the user to launch the profile manager, launch the previous instance of the application or quit. Also includes the patch from bug 1523725. --HG-- rename : browser/themes/shared/information.svg => toolkit/themes/shared/profile/information.svg extra : rebase_source : 3bf8b329eb5ea9e71fe2f0ed34a7e44dfdc434fd extra : intermediate-source : 21a801ca5f6d435509f93e1dee187cb6ca868c8f extra : source : c9d89812bc226ca593119bf440cb4f5e50ac2ace
25 lines
486 B
CSS
25 lines
486 B
CSS
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
window {
|
|
padding: 20px;
|
|
}
|
|
|
|
#alert {
|
|
width: 32px;
|
|
height: 32px;
|
|
margin-inline-end: 8px;
|
|
list-style-image: url("chrome://mozapps/skin/profile/information.svg");
|
|
}
|
|
|
|
description {
|
|
margin: 0 0 20px 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.main-text {
|
|
font-size: 133%;
|
|
font-weight: bold;
|
|
}
|