commit 5d8a3be70865190b7b4e39e0721d7a86cbf6d190
parent f8477b1c10c159fc7934761c09db178b227701a1
Author: Nicolas Chevobbe <nchevobbe@mozilla.com>
Date: Mon, 13 Oct 2025 13:42:24 +0000
Bug 1993950 - [devtools] Use TextProperty#isPropertyChanged in TextPropertyEditor#update. r=devtools-reviewers,jdescottes.
Differential Revision: https://phabricator.services.mozilla.com/D268365
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/devtools/client/inspector/rules/views/text-property-editor.js b/devtools/client/inspector/rules/views/text-property-editor.js
@@ -567,7 +567,7 @@ class TextPropertyEditor {
val += " !" + this.prop.priority;
}
- const propDirty = store.userProperties.contains(this.rule.domRule, name);
+ const propDirty = this.prop.isPropertyChanged;
if (propDirty) {
this.element.setAttribute("dirty", "");