jacklorusso

"workbench.colorCustomizations": {
    // Contrast Colors - The contrast colors are typically only set for high contrast themes. If set, they add an additional border around items across the UI to increase the contrast.
    "contrastActiveBorder": "",
    "contrastBorder": "",
    // Base Colors
    "focusBorder": "",
    "foreground": "",
    "widget.shadow": "",
    "selection.background": "",
    "descriptionForeground": "",

donatj

#!/usr/bin/env php
<?php

if( count($argv) < 3 ) {
	echo "Requires at least two arguments\n";
	die(1);
}

$dir = realpath($argv[1]);
if( !is_dir($dir) ) {