@ixtab
1. In another tread someone was asking about customizing the predefinite font sizes (those available via the Aa button). Could this be implemented via JBPatch? This could be definitely a nice hack!
2. Could you please give a look with your divine wisdom at
this thread? It's about Eureka's find a few comments before.