coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Coq 8.10.0

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Coq 8.10.0
Date: Thu, 10 Oct 2019 14:02:39 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga17.intel.com
Dlp-product: dlpe-windows
Dlp-reaction: no-action
Dlp-version: 11.2.0.6
Ironport-phdr: 9a23:nH59pRabw+CsB3i9d9qi1E//LSx+4OfEezUN459isYplN5qZr8m9bnLW6fgltlLVR4KTs6sC17ON9f67EjNbqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba58IRmsrAjcuMYajIlsJ60s1hbHv3xEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2VKRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+46t3ThLjlSEKPCM7/m7KkMx9lKJVrgy8qRxjzYDaY4+VO/h/fqzBctwUSnFMXtpKWCFFHo+wc5cDAugHMO1Fr4f9vVwOrR6mCAWiGe3vzSFHhnDq3a0g1OQhCRnK1xEnEdIPrHvUrM/6O7kWUey70aLFyjDDb/JK1jf98ofHbBQhreuXXbJ3b8XRxlUvFxnCjlWIsoHlPjWV1vgTvGif9eZvSeWvi2s+pgx3vzOhyMAsiozTiYIUzFDJ7SR5wIApJdKmTE53e8OrH4VWuiqHNIV2WtsvT3xstSok0LELuZ62cDIKxZg53RLTdvyKf5WQ7h7+VeucLy10iXxrdb6lmRq//0ytxvfhWsS3zFpGtjdJn9jIu3wXyRDe6seKRuFj8ku7xDqC1hzf5+dZKk4uj6XbMYQuwrsom5oTr0vDGij2lV3zjK+ZbEoo5+ql5/7mYrXgup+TKYt0hhviPaQpn8yzGeU4Mg4QUGiH4emwybnu8VPjTLhKjvA6iKnUvI7AKcgGpqO1HhdZ0oM55Ba+Czem3s4YnX4CLF9dfRKHjpTmO1HUL//mCfezmU+skDB1yPDJIr3hGJLNLmDYnbfge7Z991BTyA4pwd9D4JJUD6kNIOjvVU/pqNzYEhg5PhSozObgEdVxz58RWWaSAqCCK67Sql+J5uc3I+aWfoMVuTD9K+Ik5/H0l3M5l0UdLuGV2s5dY3ehW/9iPk+xYHz2g95HH31A9l41S/Wvg1mfWxZSYWyzVuQy/GdoJpihCNKJfYegj6Cb2z//VrhXbWBPB1TGWSPtdo6EUvoILjmVL8B9iDscfbmnV4IlkxqpsVmpmPJcMuPI93hA5trY399v6riLzE1gxXlPF82Yllq1YSRshGpRHm032rxypQp2zVLRifEl0cwdLsRa4rZyail/NZPYyLUlWdX9U1ueONaPVFuiBN6hBGNpF4Nj85o1e094Xu6aoFXG1iuuDaUSkuXSVp0y7q/YmXP2IpQkxg==

Dear Roger , Théo,

> Regarding the other problems you reported, I don't have the same problems
> here, so they might be Windows-specific. If some other Windows user can
> confirm this and open issues, that would be great.

I guess you mean the "Taskbar auo hide" issue. Yes I can confirm this. I
guess what happens is that GTK3 apps handle in window mouse move events in a
way which tells windows that this handling is final, so that the taskbar
handler doesn't get a chance. Please report a bug.

Best regards,

Michael
Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Gary Kershaw
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Coq 8.10.0, Vincent Laporte, 10/09/2019
- RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
  - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
    - Re: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
      - RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/10/2019
        
        Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
        
        RE: [Coq-Club] Coq 8.10.0, Soegtrop, Michael, 10/10/2019
        
        Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
        RE: [Coq-Club] Coq 8.10.0, Soegtrop, Michael, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Xuanrui Qi, 10/09/2019
  - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
    - Re: [Coq-Club] Coq 8.10.0, Frédéric Blanqui, 10/10/2019
      - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Ian Zimmerman, 10/09/2019
  - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019