No, it’s not possible. const variables cannot be reassigned.
(As a side note, I don’t know the details of this issue… but probably the best way to fix an issue with GNOME Shell is to fix it in GNOME Shell’s code rather than creating an “unbreak my desktop” extension! )
haha! The issue has been closed because scale factor has been changed to 0.8 instead of 0.7. Well, if the speed of solving this keeps the same, it will be fixed in version 43
But I think if we had some adjustments for size of some main things like workspace thumbnails, workspace area instead of hard-coded values, it should be nice, isn’t it?
At least I can change icon size in Ubuntu dash and change font scale in gnome-tweeks.