Commit 8e8bba71 authored by Fabián Orccón's avatar Fabián Orccón Committed by Alexandru Băluț

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

parent 5b6ea8a3
Pipeline #24548 passed with stages
in 66 minutes and 53 seconds