Add jstone box design

Simple comment box that doesn't conflict with java doc's /**
Based on the "stone" design. Hence jstone
This commit is contained in:
Ed Schaller 2019-10-04 11:23:44 -06:00 committed by Thomas Jensen
parent 7e3640481b
commit 26315e8860

View File

@ -2882,6 +2882,39 @@ padding { horiz 1 }
END bear
# ============================================================================
BOX jstone
author "Ed Schaller"
designer "schallee_@_darkmist.net"
revision "1.0"
revdate "3 Oct 2019"
created "3 Oct 2019"
tags "programming, box"
sample
/*----------------+
| toast is yummy |
+----------------*/
ends
shapes {
nw ("/*") n ("-") ne ("+ ")
w (" |") e ("| ")
sw (" +") s ("-") se ("*/")
}
elastic (n,e,s,w)
delim ?"
replace "\*/" with "*\/"
reverse "\*\\/" to "*/"
padding {
horiz 1
}
END jstone
# ============================================================================