9 kEDGE_CLICK_RANGE, kNODE_RADIUS, kARROW_SIZE:: Double
10 kEDGE_CLICK_RANGE = 0.2
14 kSELECTED_OPTIONS :: [Prop (DC ())]
15 kSELECTED_OPTIONS = [ penWidth := kSELECTED_WIDTH ]
17 kNodeLabelColour :: Colour
18 kNodeLabelColour = licorice
20 kNodeInfoColour :: Colour
21 kNodeInfoColour = darkViolet
23 kNodeMapColour :: Colour
24 kNodeMapColour = darkSlateGray
26 kEdgeLabelColour :: Colour
27 kEdgeLabelColour = orangeRed
29 kEdgeInfoColour :: Colour
30 kEdgeInfoColour = orangeRed
33 kPortRadius = 0.08 :: Double
34 kPortSelectionRadius = 0.2 :: Double
36 kPortPenWidth = 0 :: Int
37 kPortPenColor = yellow :: Color
38 kPortBrushColor = yellow :: Color
40 kPrincipalPortPenColor = green :: Color
41 kPrincipalPortBrushColor = green :: Color
42 kPrincipalPortSize = 3 :: Int
44 kInterfacePortPenColor = blue :: Color
45 kInterfacePortBrushColor = blue :: Color
47 kPortSelectedColor = red :: Color
49 palette = "palettes/interface" ++ '.' : paletteExt :: FilePath
51 -- | The first port in the list of ports is treated differently if 'True'.
52 hasPrincipalPorts = True :: Bool
54 toolName = "INblobs" :: String
56 netExt = "INblobs" :: String
58 paletteExt = "INblobpalette" :: String
60 extensions,paletteExtensions :: [(String, [String])]
61 extensions = [ (toolName ++ " files (." ++ netExt ++ ")", ["*." ++ netExt]) ]
62 paletteExtensions = [ ("Shape palettes (." ++ paletteExt ++ ")", ["*." ++ paletteExt]) ]