Re: Ada_GUI

["Jeffrey R.Carter" <spam.jrcarter.not@spam.acm.org.not>]

On 2022-04-08 16:05, AdaMagica wrote:
> More findings:
> Surprisingly, even background text generates an event when clicked upon.

All widgets generate mouse-click events.

> My icon Ada.ico is not displayed. If favicon.ico is present in the current directory, it is displayed even if Ada.ico is given in Set_Up.
> Very strange.

Have you cleared cache between displaying favicon.ico and trying with Ada.ico? 
Have you tried renaming Ada.ico to favicon.ico?
Does your boot.html contain the string "favicon.ico"?

I upgraded to a new version of Firefox last night and now favicon.ico is 
appearing again if I have boot.html without "favicon.ico" in it. It still hangs 
on startup for the version of boot.html with it.

ada_gui-gnoga-server-connection.adb at line 574 modifies boot.html to replace 
"favicon.ico" with the icon name passed to Set_Up, if it contains that string 
and a non-null icon name was given. Apparently that, or processing the modified 
file, hangs. If boot.html does not contain that string, apparently favicon.ico 
is used if it exists.

So currently it seems that if you want an icon, it has to be named favicon.ico 
and the string passed to Set_Up is ignored.

I'll investigate further.

-- 
Jeff Carter
"Blessed are they who convert their neighbors'
oxen, for they shall inhibit their girth."
Monty Python's Life of Brian
83