Now font settings are global. It would be more convenient for a user to adjust the size and font in the image window in accordance to zoom level, blob size and font in the image. At the same time table font needs to be just in concordance with surrounding UI (menus, buttons etc.)
Now font settings are global. It would be more convenient for a user to adjust the size and font in the image window in accordance to zoom level, blob size and font in the image. At the same time table font needs to be just in concordance with surrounding UI (menus, buttons etc.)