Add another mixed-width border style (3d/button effect)

exec/load/meme_lib.js

@@ -7,11 +7,12 @@ var BORDER_NONE = 0;
 var BORDER_SINGLE = 1;
 var BORDER_MIXED1 = 2;
 var BORDER_MIXED2 = 3;
-var BORDER_DOUBLE = 4;
-var BORDER_ORNATE1 = 5;
-var BORDER_ORNATE2 = 6;
-var BORDER_ORNATE3 = 7;
-var BORDER_COUNT = 8;
+var BORDER_MIXED3 = 4;
+var BORDER_DOUBLE = 5;
+var BORDER_ORNATE1 = 6;
+var BORDER_ORNATE2 = 7;
+var BORDER_ORNATE3 = 8;
+var BORDER_COUNT = 9;
 
 // We don't have String.repeat() in ES5
 function repeat(ch, length)
@@ -38,6 +39,9 @@ function top_border(border, width)
 		case BORDER_MIXED2:
 			str = format("\xD5%s\xB8", repeat("\xCD", width - 2));
 			break;
+		case BORDER_MIXED3:
+			str = format("\xDA%s\xB7", repeat("\xC4", width - 2));
+			break;
 		case BORDER_DOUBLE:
 			str = format("\xC9%s\xBB", repeat("\xCD", width - 2));
 			break;
@@ -72,6 +76,9 @@ function mid_border(border, width, margin, line)
 		case BORDER_MIXED1:
 			str = format("\xBA%*s%-*s\xBA", margin - 1, "", width - (margin + 1), line);
 			break;
+		case BORDER_MIXED3:
+			str = format("\xB3%*s%-*s\xBA", margin - 1, "", width - (margin + 1), line);
+			break;
 	}
 	return str + "\x01N\r\n";
 }
@@ -92,6 +99,9 @@ function bottom_border(border, width)
 		case BORDER_MIXED2:
 			str = format("\xD4%s\xBE", repeat("\xCD", width - 2));
 			break;
+		case BORDER_MIXED3:
+			str = format("\xD4%s\xBC", repeat("\xCD", width - 2));
+			break;
 		case BORDER_DOUBLE:
 			str = format("\xC8%s\xBC", repeat("\xCD", width - 2));
 			break;