Preference page
Closed this issue · 0 comments
Faylixe commented
Implements and integrates plugin preference page with following options :
- Show highlight(s)
- Kite server hostname / port.
Closed this issue · 0 comments
Implements and integrates plugin preference page with following options :