[Cuis-dev] [DEFECT] Scrollbar size and scroll bar arrow size

[Gerald Klix]

Hi Hilaire,

Nope, did not even try.

Currently I am busy *using* Haver for my own projects.
This means I will only fix showstoppers.
I will take a look when I will prepare the next
release of Haver, which will be a major step,
because of the additional Symbol class for
UTF8-symbols. I have to port Haver's
environment local symbol machinery to that class.
The fact, that the VM works with additional symbol
classes looks like a miracle to me and needs investigation.
I similar solution made the VM segfault in my early
environment trials.

Besides that I have accepted a Python consulting
contract (some 750 hours til the end of 2022).

In a nutshell: Probably nothing will happen
this year, if things and plans stay
as the currently are.


Thanks for asking and Best Regards,

Gerald



On 7/15/22 5:55 PM, Hilaire Fernandes wrote:
> Hi Gerald,
> 
> Did you find how to resolve the issue?
> 
> Thanks
> 
> Hilaire
> 
> Le 14/07/2022 à 19:58, Hilaire Fernandes a écrit :
>>> Hoi,
>>>
>>> this helps a bit. Scrollbars in newly created windows look ok.
>>> The old ones have their arrows drawn right, but not the underlying
>>> morph background is still the wrong size. Again, please the attached 
>>> screenshots.
>>>
>>>
>>> HTH,
>>>
>>> Gerald
>>
>> You can take a look at the event handler for font preference change:
>>
>> PreferenceSet class>>defaultFontSize: guiElementSizePref
>>
>>
> -- 
> GNU Dr. Geo
> http://drgeo.eu
> http://blog.drgeo.eu
>