gnome

2017-12-26 解决Gnome终端无法设置透明度的问题