xpra icon
Bug tracker and wiki

This bug tracker and wiki are being discontinued
please use https://github.com/Xpra-org/xpra instead.


Changes between Initial Version and Version 1 of Ticket #2747, comment 10


Ignore:
Timestamp:
07/13/20 08:46:11 (22 months ago)
Author:
stdedos
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #2747, comment 10

    initial v1  
    1 Jetbrains Dev Tools (PyCharm, RubyMine, Android Studio ... https://www.jetbrains.com/toolbox-app/, mouse-hover on "Tools" header section)
     1Jetbrains Dev Tools (!PyCharm, !RubyMine, Android Studio ... https://www.jetbrains.com/toolbox-app/, mouse-hover on "Tools" header section)
    22
    33It has had happened in the pre-headerbar times (r26124), so I wouldn't dismiss it so quickly.