Skip to content

Commit d535b67

Browse files
committed
mark view-mode as deprecated
1 parent 1aac86b commit d535b67

File tree

3 files changed

+5
-0
lines changed

3 files changed

+5
-0
lines changed

org/w3c/css/atrules/css3/media/ViewMode.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,9 @@
1717

1818
/**
1919
* @spec http://www.w3.org/TR/2012/REC-view-mode-20120619/#the--view-mode--media-feature
20+
* @deprecated
2021
*/
22+
@Deprecated
2123
public class ViewMode extends MediaFeature {
2224

2325
static ArrayList<CssIdent> allowed_values;
@@ -47,6 +49,7 @@ public ViewMode(ApplContext ac, String modifier,
4749
CssExpression expression, boolean check)
4850
throws InvalidParamException {
4951

52+
ac.getFrame().addWarning("deprecatedmediafeature", getFeatureName());
5053
if (modifier != null) {
5154
throw new InvalidParamException("nomodifiermedia",
5255
getFeatureName(), ac);

org/w3c/css/util/Messages.properties.en

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -431,6 +431,7 @@ error.bg_order: In the CSS3 background definition, \u201Cbg_position\u201D must
431431
warning.deprecatedmedia: The media \u201C%s\u201D has been deprecated
432432
error.deprecatedmedia: The media \u201C%s\u201D has been deprecated
433433
error.deprecatedmediafeature: Deprecated media feature \u201C%s\u201D. For guidance, see the Deprecated Media Features section in the current Media Queries specification.
434+
warning.deprecatedmediafeature: Deprecated media feature \u201C%s\u201D. For guidance, see the Deprecated Media Features section in the current Media Queries specification.
434435
error.nomediarestrictor: Mediarestrictor not defined in this CSS level
435436
error.nomediafeature: Media features are not defined in this CSS level
436437
error.nomodifiershortmedia: No prefixes are allowed for media features with no value

org/w3c/css/util/Messages.properties.fr

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -449,6 +449,7 @@ error.bg_order: Dans la définition de CSS3 background, 'bg_position' doit appar
449449
warning.deprecatedmedia: L'utilisation du media "\u201C%s\u201D" est déconseillée
450450
error.deprecatedmedia: L'utilisation du media "\u201C%s\u201D" est déconseillée
451451
error.deprecatedmediafeature: La propriétés de media \u201C%s\u201D est déconseillée. Pour plus d'information, regardez la section "Deprecated Media Features" dans la version actuelle de la spécification Media Queries.
452+
warning.deprecatedmediafeature: La propriétés de media \u201C%s\u201D est déconseillée. Pour plus d'information, regardez la section "Deprecated Media Features" dans la version actuelle de la spécification Media Queries.
452453

453454
error.nomediarestrictor: Les limitations de media ne sont pas définies dans ce niveau de CSS
454455
error.nomediafeature: Les propriétés de media ne sont pas définies dans ce niveau de CSS

0 commit comments

Comments
 (0)