Skip to content

Commit 61b363c

Browse files
Merge pull request #79 from j-mie6/fix-indent
style: Fixed indenting across project
2 parents 0ff2b02 + af40269 commit 61b363c

File tree

5 files changed

+51
-51
lines changed

5 files changed

+51
-51
lines changed

frontend/src/main/scala/controller/TreeController.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,7 +18,7 @@ object TreeController {
1818
*/
1919
def reloadTree(displayTree: Var[HtmlElement]): Unit =
2020
for {
21-
treeString <- Tauri.invoke[String]("fetch_debug_tree")
21+
treeString <- Tauri.invoke[String]("fetch_debug_tree")
2222
} do {
2323
displayTree.set(
2424
if treeString.isEmpty then div("No tree found") else

frontend/src/main/scala/model/ReactiveNode.scala

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -19,23 +19,23 @@ case class ReactiveNode(debugNode: DebugNode, children: Var[List[DebugNode]]) {
1919
* Clear the children from this mode.
2020
*/
2121
def resetChildren(): Unit = {
22-
children.set(Nil)
22+
children.set(Nil)
2323
}
2424

2525
/**
2626
* Query the Tauri backend to get the children of this node.
2727
*/
2828
def reloadChildren(): Unit = {
2929
for {
30-
nodesString: String <- Tauri.invoke[String]("fetch_node_children", Map("nodeId" -> debugNode.nodeId))
30+
nodesString: String <- Tauri.invoke[String]("fetch_node_children", Map("nodeId" -> debugNode.nodeId))
3131
} do {
3232
if (!nodesString.isEmpty) {
3333
children.set(
3434
DebugTreeHandler.decodeDebugNodes(nodesString) match {
3535
case Success(nodes) => nodes
3636
case Failure(exception) => {
37-
println(s"Error in decoding debug tree: ${exception.getMessage()}")
38-
Nil
37+
println(s"Error in decoding debug tree: ${exception.getMessage()}")
38+
Nil
3939
}
4040
}
4141
)

frontend/src/main/scala/view/DebugViewPage.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -55,7 +55,7 @@ abstract class DebugViewPage extends Page {
5555
className := "debug-view-header-right",
5656
div(
5757
child <-- State.isLightMode.signal
58-
.map((project: Boolean) => if project then moonIcon else sunIcon),
58+
.map((project: Boolean) => if project then moonIcon else sunIcon),
5959
cursor.pointer,
6060
alignContent.center,
6161
marginRight.px := 20,
Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -1,31 +1,31 @@
11
.tree-view-page {
2-
background-color: var(--background-secondary);
3-
padding: 10px;
4-
max-height: 85%;
5-
overflow: auto;
6-
border: 2px solid var(--font-color-primary);
7-
border-radius: 20px;
8-
box-sizing: border-box;
2+
background-color: var(--background-secondary);
3+
padding: 10px;
4+
max-height: 85%;
5+
overflow: auto;
6+
border: 2px solid var(--font-color-primary);
7+
border-radius: 20px;
8+
box-sizing: border-box;
99
}
1010

1111
.tree-view-error {
12-
color: var(--font-color-error);
13-
background-color: var(--background-tertiary);
14-
border: 2px solid var(--font-color-error);
15-
16-
font-weight: bold;
17-
text-align: center;
18-
19-
width: 30%;
20-
21-
margin: auto;
22-
margin-top: 1em;
23-
margin-bottom: 1em;
24-
25-
padding: 1.5em;
26-
padding-right: 2em;
27-
padding-left: 2em;
28-
29-
border-radius: 20px;
30-
box-sizing: border-box;
12+
color: var(--font-color-error);
13+
background-color: var(--background-tertiary);
14+
border: 2px solid var(--font-color-error);
15+
16+
font-weight: bold;
17+
text-align: center;
18+
19+
width: 30%;
20+
21+
margin: auto;
22+
margin-top: 1em;
23+
margin-bottom: 1em;
24+
25+
padding: 1.5em;
26+
padding-right: 2em;
27+
padding-left: 2em;
28+
29+
border-radius: 20px;
30+
box-sizing: border-box;
3131
}

styles.css

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -3,28 +3,28 @@
33
@import url('frontend/styles/displays/debug-tree.css');
44

55
:root {
6-
--background-primary: #242526; /* Dark grey. */
7-
--background-secondary: #2e2f30; /* Grey. */
8-
--background-tertiary: #96dec4; /* Parsley green 60% transparency. */
9-
--background-tertiary-60: #96dec499; /* Parsley green 60% transparency. */
10-
--background-tertiary-40: #96dec466; /* Parsley green 20% transparency. */
11-
--background-tertiary-20: #96dec433; /* Parsley green 20% transparency. */
12-
--font-color-primary: #96DEC4; /* Parsley green. */
13-
--font-color-secondary: #242526; /* Dark grey. */
14-
--font-color-error: #d2042d; /* Red error. */
15-
--font-family: Righteous, Verdana, Geneva, Tahoma, sans-serif;
6+
--background-primary: #242526; /* Dark grey. */
7+
--background-secondary: #2e2f30; /* Grey. */
8+
--background-tertiary: #96dec4; /* Parsley green 60% transparency. */
9+
--background-tertiary-60: #96dec499; /* Parsley green 60% transparency. */
10+
--background-tertiary-40: #96dec466; /* Parsley green 20% transparency. */
11+
--background-tertiary-20: #96dec433; /* Parsley green 20% transparency. */
12+
--font-color-primary: #96DEC4; /* Parsley green. */
13+
--font-color-secondary: #242526; /* Dark grey. */
14+
--font-color-error: #d2042d; /* Red error. */
15+
--font-family: Righteous, Verdana, Geneva, Tahoma, sans-serif;
1616
}
1717

1818
[data-theme="light"] {
19-
--background-primary: #96dec4; /* Parsley green. */
20-
--background-secondary: #b8eeda; /* Lighter grey. */
21-
--background-tertiary: #242526; /* Grey 60% transparency. */
22-
--background-tertiary-60: #24252699; /* Grey 60% transparency. */
23-
--background-tertiary-40: #24252666; /* Grey 60% transparency. */
24-
--background-tertiary-20: #24252633; /* Grey 20% transparancy. */
25-
--font-color-primary: #242526; /* Black. */
26-
--font-color-secondary: #96DEC4; /* Parsley green. */
27-
--font-color-error: #fd4659; /* Red error. */
19+
--background-primary: #96dec4; /* Parsley green. */
20+
--background-secondary: #b8eeda; /* Lighter grey. */
21+
--background-tertiary: #242526; /* Grey 60% transparency. */
22+
--background-tertiary-60: #24252699; /* Grey 60% transparency. */
23+
--background-tertiary-40: #24252666; /* Grey 60% transparency. */
24+
--background-tertiary-20: #24252633; /* Grey 20% transparancy. */
25+
--font-color-primary: #242526; /* Black. */
26+
--font-color-secondary: #96DEC4; /* Parsley green. */
27+
--font-color-error: #fd4659; /* Red error. */
2828
}
2929

3030
body {

0 commit comments

Comments
 (0)