Fix #8033 - text size zoom
authorAlan <alan@roojs.com>
Wed, 14 Feb 2024 08:41:48 +0000 (16:41 +0800)
committerAlan <alan@roojs.com>
Wed, 14 Feb 2024 08:41:48 +0000 (16:41 +0800)
commitc9e3306f3a430ed15155ac45ef097f9d7dbafe03
tree14f3033a0fc9f77dd1ca8e8c78a2468d303e10f6
parentd6ae4d4a3440210cd33511f8eac5d4dfc67c02cb
Fix #8033 - text size zoom
src/Builder4/Editor.bjs
src/Builder4/Editor.vala
src/Builder4/GtkView.bjs
src/Builder4/GtkView.vala
src/Builder4/WindowRooView.bjs
src/Builder4/WindowRooView.vala