-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTAGS
144 lines (133 loc) · 4.93 KB
/
TAGS
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
./app/Main.hs,994
module Main Main15,16
data Screen Screen45,46
data Screen = Welcome Welcome45,46
data Screen = Welcome | EditingEditing45,46
data Properties Properties47,48
data Properties = Properties Properties47,48
data Properties = Properties { screen screen47,48
, editorParams editorParams48,49
, metrics metrics49,50
newtype EditorEnv EditorEnv51,52
newtype EditorEnv a = EditorEnv { unEditorEnv unEditorEnv51,52
markdownFileFilter markdownFileFilter55,56
editorHelper editorHelper64,65
spawnFileDialog spawnFileDialog68,69
renderMarkdown renderMarkdown80,81
expandableChild expandableChild84,85
toolbar toolbar88,89
setIcon setIcon108,109
getIconPath getIconPath116,117
view' view'122,123
update' update'152,153
withSettings withSettings181,182
setDefaultTheme setDefaultTheme185,186
setTheme setTheme190,191
main main201,202
parseOpts parseOpts204,205
startWithTheme startWithTheme214,215
./Setup.hs,15
main main1,2
./src/GI/Gtk/Declarative/Container/FlowBox.hs,309
module GI.Gtk.Declarative.Container.FlowBox GI.Gtk.Declarative.Container.FlowBox5,6
instance IsContainer IsContainer Gtk-FlowBox (Bin Gtk-FlowBoxChild)13,14
appendChild appendChild14,15
replaceChild replaceChild16,17
instance ToChildren ToChildren Gtk-FlowBox Vector (Bin Gtk-FlowBoxChild)20,21
./src/Notewell/Editor.hs,356
module Notewell.Editor Notewell.Editor12,13
import import25,26
data EditorParams EditorParams33,34
data EditorParams = EditorParams EditorParams33,34
data EditorParams = EditorParams { editorTheme editorTheme33,34
, editorBuffer editorBuffer34,35
transmute transmute37,38
markdownEditor markdownEditor41,42
./src/Notewell/Events.hs,600
module Notewell.Events Notewell.Events7,8
data ThemeType ThemeType11,12
data ThemeType = Light Light11,12
data ThemeType = Light | DarkDark11,12
data Event Event13,14
data Event = Closed Closed13,14
| OpenFileSelected OpenFileSelected14,15
| NewClicked NewClicked15,16
| OpenClicked OpenClicked16,17
| SaveClicked SaveClicked17,18
| SaveFileSelected SaveFileSelected18,19
| UpdateMetrics UpdateMetrics19,20
| Render Render20,21
| ToggleTheme ToggleTheme21,22
fromBool fromBool23,24
./src/Notewell/Helpers.hs,65
module Notewell.Helpers Notewell.Helpers8,9
whenM whenM13,14
./src/Notewell/Metrics.hs,199
module Notewell.Metrics Notewell.Metrics10,11
newtype Metrics Metrics16,17
newtype Metrics = Metrics { counts counts16,17
empty empty19,20
formatCounts formatCounts23,24
count count31,32
./src/Notewell/Renderer.hs,339
module Notewell.Renderer Notewell.Renderer12,13
removeAllTags removeAllTags27,28
applyAllTags applyAllTags34,35
applyTag applyTag42,43
adjustLinkPosInfo adjustLinkPosInfo55,56
applyNode applyNode61,62
markdownTextTagTable markdownTextTagTable92,93
mkTag mkTag102,103
mkHeadingTag mkHeadingTag120,121
bytes bytes134,135
./src/Notewell/Theming/CSS.hs,81
module Notewell.Theming.CSS Notewell.Theming.CSS12,13
buildCSS buildCSS20,21
./src/Notewell/Theming.hs,1739
module Notewell.Theming Notewell.Theming10,11
data TagProperty TagProperty21,22
data TagProperty = Color Color21,22
| Font Font22,23
| Scale Scale23,24
| Style Style24,25
| Weight Weight25,26
| Indent Indent26,27
| Strike Strike27,28
| Justification Justification28,29
| Underline Underline29,30
type TagProperties TagProperties32,33
data Theme Theme34,35
data Theme = Theme Theme34,35
data Theme = Theme { background background34,35
, foreground foreground35,36
, toolbarColor toolbarColor36,37
, borderColor borderColor37,38
, accent accent38,39
, bodyFont bodyFont39,40
, isDark isDark40,41
, elements elements41,42
instance FromJSON FromJSON TagProperty44,45
parseJSON parseJSON45,46
instance ToJSON ToJSON TagProperty56,57
instance ToJSON ToJSON Theme58,59
instance FromJSON FromJSON Theme59,60
instance FromJSON FromJSON Underline61,62
parseJSON parseJSON62,63
instance ToJSON ToJSON Underline70,71
toJSON toJSON71,72
instance FromJSON FromJSON Justification78,79
parseJSON parseJSON79,80
instance ToJSON ToJSON Justification86,87
toJSON toJSON87,88
instance FromJSON FromJSON Weight92,93
parseJSON parseJSON93,94
instance ToJSON ToJSON Weight108,109
toJSON toJSON109,110
instance FromJSON FromJSON Style122,123
parseJSON parseJSON123,124
instance ToJSON ToJSON Style128,129
toJSON toJSON129,130
readTheme readTheme134,135
defaultTheme defaultTheme137,138
./test/Spec.hs,15
main main0,1