plugins: Add preferences for text font and color in the Developer Console
Needs ReviewPublic

Authored by cfoch on Aug 12 2017, 10:18 AM.

Details

Maniphest Tasks
T7784: Developer Console
Reviewers
thiblahute
aleb
Summary

Depends on D1792

Diff Detail

Repository
rPTV Pitivi
Branch
developer-console-code-module-phabricator
cfoch created this revision.Aug 12 2017, 10:18 AM

It re-adds all the already added widgets + the new ones when a new preference is added.

aleb requested changes to this revision.Aug 14 2017, 4:17 AM

Please separate the developer console changes to another commit and the preferences dialog changes should be squashed into D1789

This revision now requires changes to proceed.Aug 14 2017, 4:17 AM
cfoch updated this revision to Diff 6426.Aug 28 2017, 8:56 PM

Missing if replacing after-prompt by command-start or prompt-start