I think such an override might even be useful for all kinds of input/output controls, now that we can define variables in themes to let the user modify the font.face and the font.size of different parts of the GUI. It is possible to set a fixed font_face or font_size in the Widget.sublime-settings, but this is not easily accessible or too obvious for all users.
Not setting anyithing otherwise might lead to strange situations as shown in the screenshot below (I know it is an extremly exaggerated example). While all theme fonts stay fixed, the input fonts follow the font_size changes of the main editor control.
Exposing font settings via
variables in the sublime-theme file seems to be a logical alternative to using the Widget - Theme Name.sublime-settings. If empty or no
font.size are defined via theme, the current defaults from Widget or Preferences could be applied.
// Main Font Settings
"font_face": "Roboto Sans",
// Sidebar Font Settings
"sidebar_font_face": "Roboto Sans",
// Input/Output Font Settings (Quick Panel, Find Panel, Input Panel, ...)
"input_font_face": "Roboto Mono",
But to be honest: I am not sure whether it helps or even might cause more questions if too many places exist to do modifications.