Updates font management for hidpi

Improvements:
- Cleanup of default options files to use OS font by default
- Comments updates
- Simplify font size management as Pango/Gtk directly manage pt/px conversions

Bug fix:
- If Preference panel is closed by "cancel", font size was not reinitialized to previously saved one
- Font size was specified in "RawTherapee.css" theme and so user choice could be ignored

rtdata/CMakeLists.txt

@@ -3,7 +3,6 @@ file(GLOB SOUNDFILES "sounds/*")
 file(GLOB INPUTICCFILES "iccprofiles/input/*")
 file(GLOB OUTPUTICCFILES "iccprofiles/output/*")
 file(GLOB DCPFILES "dcpprofiles/*")
-file(GLOB FONTS "fonts/*")
 
 set(PROFILESDIR "profiles")
 set(THEMEDIR "themes")
@@ -43,9 +42,6 @@ install(FILES ${INPUTICCFILES} DESTINATION "${DATADIR}/iccprofiles/input")
 install(FILES ${OUTPUTICCFILES} DESTINATION "${DATADIR}/iccprofiles/output")
 install(FILES ${DCPFILES} DESTINATION "${DATADIR}/dcpprofiles")
 install(FILES ${OPTIONSFILE} DESTINATION "${DATADIR}" PERMISSIONS OWNER_WRITE OWNER_READ GROUP_READ WORLD_READ RENAME options)
-if(WIN32)
-    install(FILES ${FONTS} DESTINATION "${DATADIR}/fonts")
-endif()
 
 install(DIRECTORY "${PROFILESDIR}" DESTINATION "${DATADIR}" FILES_MATCHING PATTERN "*.pp3")
 install(DIRECTORY "${THEMEDIR}" DESTINATION "${DATADIR}")

rtdata/options/options.osx

@@ -37,8 +37,3 @@ CustomProfileBuilder=
 
 # Default profile name (without extension) to use for standard (8bits) images
 #ImgDefault=Neutral
-
-[GUI]
-# Set the included font as default
-FontFamily=Droid Sans Mono Slashed
-CPFontFamily=Droid Sans Mono Slashed

rtdata/themes/RawTherapee.css

@@ -26,7 +26,6 @@
 * {
     color: #BBBBBB;
     text-shadow: none; /* Keep at none, or suffer serious performance issues */
-    font-size: 1em;
 }
 
 *:disabled {