Problem: filetype: Koka files are not recognized
Solution: Detect *.kk files as koka filetype (Hoang Nguyen).
Reference:
- https://koka-lang.github.io/koka/doc/index.html
closes: #19104
Signed-off-by: Hoang Nguyen <folliekazetani@protonmail.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
"k": "kwt",
# Kivy
"kv": "kivy",
+ # Koka
+ "kk": "koka",
# Kos
"kos": "kos",
# Kotlin
kitty: ['kitty.conf', '~/.config/kitty/colorscheme.conf'],
kivy: ['file.kv'],
kix: ['file.kix'],
+ koka: ['file.kk'],
kos: ['file.kos'],
kotlin: ['file.kt', 'file.ktm', 'file.kts'],
krl: ['file.sub', 'file.Sub', 'file.SUB'],
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 2061,
/**/
2060,
/**/