Removed shape definitions consisting only of spaces from all designs. This

has become possible because missing shape definitions are now automatically
added by boxes.
This commit is contained in:
Thomas Jensen 1999-08-14 19:00:00 +00:00
parent b0ba6c4baf
commit fd7dfa4e9d

View File

@ -3,7 +3,7 @@
# Date created: March 17, 1999 (Wednesday, 17:02h) # Date created: March 17, 1999 (Wednesday, 17:02h)
# Author: Thomas Jensen # Author: Thomas Jensen
# tsjensen@stud.informatik.uni-erlangen.de # tsjensen@stud.informatik.uni-erlangen.de
# Version: $Id: boxes-config,v 1.10 1999/07/20 18:54:10 tsjensen Exp tsjensen $ # Version: $Id: boxes-config,v 1.11 1999/07/22 12:17:17 tsjensen Exp tsjensen $
# Format: ASCII Text # Format: ASCII Text
# World Wide Web: http://home.pages.de/~jensen/boxes/ # World Wide Web: http://home.pages.de/~jensen/boxes/
# Purpose: Example configuration file for the boxes program # Purpose: Example configuration file for the boxes program
@ -11,6 +11,9 @@
# Revision History: # Revision History:
# #
# $Log: boxes-config,v $ # $Log: boxes-config,v $
# Revision 1.11 1999/07/22 12:17:17 tsjensen
# Modernized code of "columns" design and made code consistent with sample
#
# Revision 1.10 1999/07/20 18:54:10 tsjensen # Revision 1.10 1999/07/20 18:54:10 tsjensen
# Completely revised code of "tjc" design # Completely revised code of "tjc" design
# #
@ -299,9 +302,8 @@ sample {
} }
shapes { shapes {
nw (" ") n (" ") ne (" ") w ("/*")
w ("/*") e ("*/") e ("*/")
sw (" ") s (" ") se (" ")
} }
replace "\\*/" with "*\\/" # quote closing comment tags replace "\\*/" with "*\\/" # quote closing comment tags
@ -309,7 +311,7 @@ reverse "\\*\\\\/" to "*/"
Padding { h 1 } Padding { h 1 }
elastic (n,e,s,w) elastic (e, w)
END c-cmt END c-cmt
@ -332,9 +334,9 @@ sample {
} }
shapes { shapes {
nw ("/*") n (" ") ne (" ") nw ("/*")
w (" *") e (" ") w (" *")
sw (" *") ssw ("/") s (" ") se (" ") sw (" *") ssw ("/") s (" ") # note that S must be defined!
} }
padding { left 2 } padding { left 2 }
@ -342,7 +344,7 @@ padding { left 2 }
replace "\\*/" with "*\\/" # quote closing comment tags replace "\\*/" with "*\\/" # quote closing comment tags
reverse "\\*\\\\/" to "*/" reverse "\\*\\\\/" to "*/"
elastic (n,e,s,w) elastic (s, w)
END c-cmt2 END c-cmt2
@ -778,12 +780,9 @@ shapes {
sw ("* ", " *") sw ("* ", " *")
ssw ("*", "/") ssw ("*", "/")
s (" *", " ") s (" *", " ")
ne(" ") n(" ") nw(" ") # empty north side
se(" "," ") e (" ") # empty east side
} }
elastic (n, e, s, w) elastic (n, s, w)
padding { padding {
left 2 left 2
@ -1154,7 +1153,6 @@ shapes {
" \\ \\||/ / ") " \\ \\||/ / ")
sw (" `\\\\//` ", sw (" `\\\\//` ",
" ^^^^^^^^^^") " ^^^^^^^^^^")
ne (" ")
ene (" ", ene (" ",
" ", " ",
" jgs ", " jgs ",
@ -1169,12 +1167,11 @@ shapes {
" |// ") " |// ")
se (" \\\\ |/ / ", se (" \\\\ |/ / ",
"^^^^^^^^^") "^^^^^^^^^")
n (" ")
s ("\\ \\./ \\", s ("\\ \\./ \\",
"^^^^^^^^^^^^") "^^^^^^^^^^^^")
} }
elastic (n,s,e,w) elastic (s,e,w)
END spring END spring
@ -1319,14 +1316,12 @@ sample {
} }
shapes { shapes {
nw (" ") n (" ") ne (" ") w ("//")
w ("//") e (" ")
sw (" ") s (" ") se (" ")
} }
padding {lef 1} padding {lef 1}
elastic (n,e,s,w) elastic (w)
END java-cmt END java-cmt
@ -1348,14 +1343,12 @@ sample {
} }
shapes { shapes {
nw (" ") n (" ") ne (" ") w ("#")
w ("#") e (" ")
sw (" ") s (" ") se (" ")
} }
padding { left 1} padding { left 1}
elastic (n,e,s,w) elastic (w)
END pound-cmt END pound-cmt
@ -1377,12 +1370,11 @@ sample {
} }
shapes { shapes {
nw (" ") n (" ") ne (" ") w ("<!-- ")
w ("<!-- ") e (" -->") e (" -->")
sw (" ") s (" ") se (" ")
} }
elastic (n,e,s,w) elastic (e,w)
END html-cmt END html-cmt
@ -1404,16 +1396,14 @@ sample {
} }
shapes { shapes {
nw (" ") n (" ") ne (" ") w ("\"")
w ("\"") e (" ")
sw (" ") s (" ") se (" ")
} }
padding { padding {
left 1 left 1
} }
elastic (n,e,s,w) elastic ( w )
END vim-cmt END vim-cmt
@ -1438,14 +1428,12 @@ sample {
} }
shapes { shapes {
nw (" ") n (" ") ne (" ") e ("/*@TJ@*/")
w (" ") e ("/*@TJ@*/")
sw (" ") s (" ") se (" ")
} }
padding { right 4 } padding { right 4 }
elastic (n,e,s,w) elastic ( e )
END right END right