It turned out to be a little bit more involved to scale up the GUI than I first thought. Most of my connected GUI objects (frames, borders etc.) are composed of individual quads. One quad for the upper left corner, one for the upper right corner and so on. This works fine when scale is 1:1 but when the graphics gets enlarged this creates a problem. For instance; if a pixel is scaled by 1.7 it would mean that gaps begin to appear between the quads that are not intended. I thought I could round it to the nearest integer but it turned out that it was more work than actually stitching the intended quads together with a gl_triangle_strip.
On a side note, my day job has taken most of my time lately (6 out of 7 days) but I thought this GUI scaling business would have been finished faster.. in a night or two - This did not happen. However this upcoming week I will have more spare time on my hands, so hopefully I'll get more work done too.
To add something visual to this entry, here is a fight to the death with a wild beast!!!
Thanks for reading! =)