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

Authored by cfoch on Aug 12 2017, 11:08 AM.

Details

Reviewers
thiblahute
aleb
Summary

Depends on D1790

Diff Detail

Repository
rPTV Pitivi
Branch
T7784-developer-console_with_button
cfoch created this revision.Aug 12 2017, 11:08 AM

Adds a button that removes the page and add it again with all the preferences that were added added.

aleb abandoned this revision.Aug 14 2017, 4:12 AM

Let's go with the other one..