Konstantinos Sideris
|
1fad9398fc
|
Use more stl containers & minor refactorings
|
2018-01-24 20:46:37 +02:00 |
|
Jani Mustonen
|
13cb0521fa
|
Improvements to the quick switcher (#109)
- Ghetto disambiguation for the quick switcher
- Fix the Ctrl+K shortcut
- Fix keyboard focus when the quick switcher is closed
fixes #114
|
2017-11-03 08:54:17 +02:00 |
|
Konstantinos Sideris
|
a17b6dffaf
|
Clean up headers
|
2017-10-28 15:46:39 +03:00 |
|
Konstantinos Sideris
|
8390ff253d
|
Fix icons for retina displays
|
2017-10-15 22:08:51 +03:00 |
|
Konstantinos Sideris
|
1bfe48de75
|
Style change again
|
2017-09-10 12:59:21 +03:00 |
|
Konstantinos Sideris
|
c6ec20fa40
|
Place the completion popup under the search widget
|
2017-08-20 21:13:00 +03:00 |
|
Konstantinos Sideris
|
2644e4acca
|
Small style change
|
2017-08-20 13:47:22 +03:00 |
|
Konstantinos Sideris
|
8d81489e05
|
Ghetto room switcher
|
2017-08-15 21:06:27 +03:00 |
|