Komodo / KomodoEdit

Komodo Edit is a fast and free multi-language code editor. Written in JS, Python, C++ and based on the Mozilla platform.
http://www.komodoide.com/komodo-edit
Other
2.16k stars 303 forks source link

Floating panes have both native and custom decorations #2149

Open Defman21 opened 8 years ago

Defman21 commented 8 years ago

Short Summary

image

Platform Information

Komodo Edit or IDE? IDE Komodo Version? 10.1 Operating System (and version)? elementary OS 0.4

th3coop commented 8 years ago

k THIS is Linux only. I don't see this on Windows. Thanks for reporting @Defman21

Defman21 commented 8 years ago

Any labels? :)

th3coop commented 8 years ago

Just for you @Defman21.

th3coop commented 8 years ago

Not happening on OSX either.

Naatan commented 8 years ago

Not happening on Gnome-shell. We're gonna need a new label.. :p

What display manager are you using @Defman21? This may end up just being a limitation.

Defman21 commented 8 years ago

Mutter (Gala)

Naatan commented 8 years ago

Yeaaaah I'm gonna mark this as limitation. We cannot support niche display managers. Sorry :\

Defman21 commented 8 years ago

Btw have you enabled native decorations? I doubt I'll be able to reproduce the issue with komodo decorations

Defman21 commented 8 years ago

Yeah works fine with Komodo decorations.

Naatan commented 8 years ago

Aff sorry, I thought the problem was with custom decorations. Reproduced with native decorations.

Defman21 commented 8 years ago

I had to clarify that. No problem, I'm glad you reproduced it.