rgleichman/glance
1
1
Fork 0
mirror of https://github.com/rgleichman/glance.git synced 2024-08-16 18:30:36 +03:00
Code Issues Projects Releases Wiki Activity

Make lines thicker.

Browse Source
This commit is contained in:
Robbie Gleichman 2016-01-04 23:41:05 -08:00
parent 3d28682606
commit 0baabe8573
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
app/Icons.hs
View File

@ -26,10 +26,12 @@ data Icon a = Icon {iconDia :: Diagram a, ports :: [P2 Double]}
instance IsName PortName
newtype PortName = PortName Int deriving (Show, Ord, Eq)
defaultLineWidth = 0.15
-- | Names the diagram and puts all sub-names in the namespace of the top level name.
nameDiagram name dia = name .>> (dia # named name)
arrowOptions = with & arrowHead .~ noHead & shaftStyle %~ lw veryThick . lc white
arrowOptions = with & arrowHead .~ noHead & shaftStyle %~ lwG defaultLineWidth . lc white
connectPorts icon0 port0 icon1 port1 =
connect'
@ -59,7 +61,7 @@ drawIconsAndPortNumbers (Icon dia ports) =
-- APPLY 0 ICON --
circleRadius = 0.5
apply0LineWidth = 0.25
apply0LineWidth = defaultLineWidth
resultCircle :: Diagram B
resultCircle = circle circleRadius # fc red # lw none
@ -97,7 +99,7 @@ monoLetterWidthToHeightFraction = 0.6
textBoxHeightFactor = 1.1
textBox :: String -> Diagram B
textBox t =
text t # fc white # font "freemono" # fontSize (local textBoxFontSize)
text t # fc white # font "freemono" # bold # fontSize (local textBoxFontSize)
<> rect rectangleWidth (textBoxFontSize * textBoxHeightFactor) # lc white
where
rectangleWidth = textBoxFontSize * monoLetterWidthToHeightFraction