INSTALL(FILES default.style function.lang number.lang python.lang script_comment.lang symbols.lang DESTINATION ${PKGDATADIR}/gui-resources)
