DevTools: lighten the workspaces settings ui a bit.

DevTools: lighten the workspaces settings ui a bit.

Review-Url: https://codereview.chromium.org/2614883002
Cr-Commit-Position: refs/heads/master@{#442138}
Committed: https://chromium.googlesource.com/chromium/src/+/29318e7298cf35d87e41eda1cb066dcdc776fa47

[pfeldman, 2017-01-05 02:19:31]

pfeldman@chromium.org changed reviewers:
+ alph@chromium.org

[alph, 2017-01-05 02:31:09]

lgtm

[pfeldman, 2017-01-05 18:51:38]

The CQ bit was checked by pfeldman@chromium.org

[commit-bot: I haz the power, 2017-01-05 18:52:21]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-01-05 22:41:34]

The CQ bit was unchecked by commit-bot@chromium.org

[commit-bot: I haz the power, 2017-01-05 22:41:35]

Try jobs failed on following builders:
  win_chromium_rel_ng on master.tryserver.chromium.win (JOB_FAILED,
http://build.chromium.org/p/tryserver.chromium.win/builders/win_chromium_rel_...)

[pfeldman, 2017-01-07 00:24:25]

The CQ bit was checked by pfeldman@chromium.org

[commit-bot: I haz the power, 2017-01-07 00:25:03]

CQ is trying da patch. Follow status at
 
https://chromium-cq-status.appspot.com/v2/patch-status/codereview.chromium.or...

[commit-bot: I haz the power, 2017-01-07 02:08:57]

CQ is committing da patch.

Bot data: {"patchset_id": 1, "attempt_start_ts": 1483748665849290, "parent_rev":
"262ca70f588b5e78be242c939405807876b90bab", "commit_rev":
"29318e7298cf35d87e41eda1cb066dcdc776fa47"}

[commit-bot: I haz the power, 2017-01-07 02:09:22]

Description was changed from

==========
DevTools: lighten the workspaces settings ui a bit.
==========

to

==========
DevTools: lighten the workspaces settings ui a bit.

Review-Url: https://codereview.chromium.org/2614883002
Cr-Commit-Position: refs/heads/master@{#442138}
Committed:
https://chromium.googlesource.com/chromium/src/+/29318e7298cf35d87e41eda1cb06...
==========

[commit-bot: I haz the power, 2017-01-07 02:09:23]

Committed patchset #1 (id:1) as
https://chromium.googlesource.com/chromium/src/+/29318e7298cf35d87e41eda1cb06...

[lushnikov, 2017-01-23 03:36:17]

lushnikov@chromium.org changed reviewers:
+ lushnikov@chromium.org

[lushnikov, 2017-01-23 03:36:17]

good stuff!