Re: Merging the pgtk branch

[Yuuki Harano]

On Sun, 05 Dec 2021 16:08:05 +0200,
        Eli Zaretskii <eliz@gnu.org> wrote:
>> I thought that gui_set_border_width could change the border width of a frame.
>> But there is the code:
>> ---
>>     if (FRAME_NATIVE_WINDOW (f) != 0)
>>       error ("Cannot change the border width of a frame");
>> ---
>> I was confused, and added #ifndef around it.
>> 
>> I don't know about the function.
>> What is it for?
> 
> It's for setting the width of the "external border" of the frame,
> something that window managers generally disallow.  Doesn't PGTK
> define FRAME_NATIVE_WINDOW to return non-zero for any GUI frame?  If
> so, you don't have to #ifdef this, it will work as with any other
> window-system.

Thanks.
I reverted those changes.

And I think I did all the fixes which are necessary by review comments by you.
-- 
Yuuki Harano