mirror of
https://gitee.com/zhangsken/AndroidIDE.git
synced 2026-10-16 15:56:48 +08:00
76cba7327b
- fixed a bug which resulted in selected completion item not being indicated properly (closes #1242) - added option to set selected completion item background color in color schemes