New upstream version 2.9.22

[sven/vym.git] / demos / scripts / setSelectionBoxDarkTheme.vys

map = vym.currentMap();
map.setSelectionPenWidth(2);
map.setSelectionPenColor("#ffffff00");
map.setSelectionBrushColor("#44ffff00");
print ("Updated selection box colors.");