jenkins-bot has submitted this change and it was merged.

Change subject: Mark primary buttons as progressive as well
......................................................................


Mark primary buttons as progressive as well

In anticipation of Iee91d2c6 in OOjs UI

Change-Id: Ibc86460b8d59a8892244f27c7d3d180f51b59835
---
M src/ui/inspectors/ve.ui.CommentInspector.js
M src/ui/inspectors/ve.ui.FragmentInspector.js
2 files changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Catrope: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/src/ui/inspectors/ve.ui.CommentInspector.js 
b/src/ui/inspectors/ve.ui.CommentInspector.js
index f1816ec..4fe7b6c 100644
--- a/src/ui/inspectors/ve.ui.CommentInspector.js
+++ b/src/ui/inspectors/ve.ui.CommentInspector.js
@@ -39,7 +39,7 @@
        {
                action: 'done',
                label: OO.ui.deferMsg( 'visualeditor-dialog-action-done' ),
-               flags: 'primary',
+               flags: [ 'progressive', 'primary' ],
                modes: 'edit'
        },
        {
diff --git a/src/ui/inspectors/ve.ui.FragmentInspector.js 
b/src/ui/inspectors/ve.ui.FragmentInspector.js
index 4f31473..ae14f69 100644
--- a/src/ui/inspectors/ve.ui.FragmentInspector.js
+++ b/src/ui/inspectors/ve.ui.FragmentInspector.js
@@ -31,7 +31,7 @@
        {
                action: 'done',
                label: OO.ui.deferMsg( 'visualeditor-dialog-action-done' ),
-               flags: 'primary'
+               flags: [ 'progressive', 'primary' ]
        }
 ] );
 

-- 
To view, visit https://gerrit.wikimedia.org/r/179265
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibc86460b8d59a8892244f27c7d3d180f51b59835
Gerrit-PatchSet: 2
Gerrit-Project: VisualEditor/VisualEditor
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to