The fix had some rather strange side effects: - Destop effects didn't work before but work now - The terminal is partly transparent (see screenshot; only apprears in gnome-terminal)
(just reporting this in case it might be useful to somebody)
The fix had some rather strange side effects:
- Destop effects didn't work before but work now
- The terminal is partly transparent (see screenshot; only apprears in gnome-terminal)
(just reporting this in case it might be useful to somebody)