Fixes #286: add support for changing fonts in REPL view source viewers
Fixes #286: add support for changing fonts in REPL view source viewers
noncom/ccw,laurentpetit/ccw,laurentpetit/ccw,ccw-ide/ccw,michelangelo13/ccw,laurentpetit/ccw,michelangelo13/ccw,michelangelo13/ccw,noncom/ccw,noncom/ccw,ccw-ide/ccw,ccw-ide/ccw