Skip to content

Commit 8951787

Browse files
Tobias-KohnTobias-Kohn
committed
Working on a new file management system
1 parent c222c3c commit 8951787

44 files changed

Lines changed: 1213 additions & 226 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎CHANGELOG.md‎

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,15 @@
11
# Changelog
22

3-
### 3.0 Early Access Preview 4 (... 2020)
3+
### 3.0 Early Access Preview 5 (30 May 2020)
44

55
Implemented:
66
- Support for `repeat` loops;
77
- TigerJython specific libraries (only as part of the release, no sources);
8+
- New file management that allows reopening previously edited files;
9+
- "+"/"Add" tab to create a new document or reopen a previous one;
10+
11+
Big fixes:
12+
- Error messages on JRE 8 are displayed too large;
813

914

1015
### 3.0 Early Access Preview 3 (25 May 2020)

‎build.sbt‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ val buildDate = "%d %s %d".format(
5454

5555
val buildTag = "-SNAPSHOT"
5656

57-
val buildVersion = "ea+04"
57+
val buildVersion = "ea+05"
5858

5959
// This is needed to run/test the project without having to restart SBT afterwards
6060
fork in run := true

‎src/main/resources/themes/chrome.css‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,43 @@
2323
-fx-text-fill: maroon;
2424
}
2525

26+
.document-item {
27+
-fx-padding: 10;
28+
}
29+
30+
.document-item:hover {
31+
-fx-background-color: skyblue;
32+
-fx-border-style: solid;
33+
-fx-border-color: navy;
34+
}
35+
36+
.document-item .title {
37+
-fx-font-size: 150%;
38+
-fx-font-weight: bold;
39+
}
40+
41+
.document-item .paper {
42+
-fx-fill: silver;
43+
}
44+
45+
.document-item .description {
46+
-fx-font-family: monospaced;
47+
-fx-font-size: 90%;
48+
-fx-text-fill: gray;
49+
}
50+
51+
.document-item:hover .title {
52+
-fx-text-fill: blue;
53+
}
54+
55+
.document-item:hover .description {
56+
-fx-text-fill: navy;
57+
}
58+
59+
.document-item:hover .paper {
60+
-fx-fill: white;
61+
}
62+
2663
.lineno {
2764
-fx-fill: #ebebeb;
2865
-fx-background-color: -fx-fill;

‎src/main/resources/themes/cobalt.css‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,43 @@
3333
-fx-background-color: #002240;
3434
}
3535

36+
.document-item {
37+
-fx-padding: 10;
38+
}
39+
40+
.document-item:hover {
41+
-fx-background-color: skyblue;
42+
-fx-border-style: solid;
43+
-fx-border-color: navy;
44+
}
45+
46+
.document-item .title {
47+
-fx-font-size: 150%;
48+
-fx-font-weight: bold;
49+
}
50+
51+
.document-item .paper {
52+
-fx-fill: silver;
53+
}
54+
55+
.document-item .description {
56+
-fx-font-family: monospaced;
57+
-fx-font-size: 90%;
58+
-fx-text-fill: gray;
59+
}
60+
61+
.document-item:hover .title {
62+
-fx-text-fill: blue;
63+
}
64+
65+
.document-item:hover .description {
66+
-fx-text-fill: navy;
67+
}
68+
69+
.document-item:hover .paper {
70+
-fx-fill: white;
71+
}
72+
3673
.lineno {
3774
-fx-fill: #011e3a;
3875
-fx-background-color: -fx-fill;

‎src/main/resources/themes/github.css‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,43 @@
2323
-fx-text-fill: maroon;
2424
}
2525

26+
.document-item {
27+
-fx-padding: 10;
28+
}
29+
30+
.document-item:hover {
31+
-fx-background-color: skyblue;
32+
-fx-border-style: solid;
33+
-fx-border-color: navy;
34+
}
35+
36+
.document-item .title {
37+
-fx-font-size: 150%;
38+
-fx-font-weight: bold;
39+
}
40+
41+
.document-item .paper {
42+
-fx-fill: silver;
43+
}
44+
45+
.document-item .description {
46+
-fx-font-family: monospaced;
47+
-fx-font-size: 90%;
48+
-fx-text-fill: gray;
49+
}
50+
51+
.document-item:hover .title {
52+
-fx-text-fill: blue;
53+
}
54+
55+
.document-item:hover .description {
56+
-fx-text-fill: navy;
57+
}
58+
59+
.document-item:hover .paper {
60+
-fx-fill: white;
61+
}
62+
2663
.lineno {
2764
-fx-fill: #e8e8e8;
2865
-fx-background-color: -fx-fill;

‎src/main/resources/themes/idle.css‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,6 +23,43 @@
2323
-fx-text-fill: maroon;
2424
}
2525

26+
.document-item {
27+
-fx-padding: 10;
28+
}
29+
30+
.document-item:hover {
31+
-fx-background-color: skyblue;
32+
-fx-border-style: solid;
33+
-fx-border-color: navy;
34+
}
35+
36+
.document-item .title {
37+
-fx-font-size: 150%;
38+
-fx-font-weight: bold;
39+
}
40+
41+
.document-item .paper {
42+
-fx-fill: silver;
43+
}
44+
45+
.document-item .description {
46+
-fx-font-family: monospaced;
47+
-fx-font-size: 90%;
48+
-fx-text-fill: gray;
49+
}
50+
51+
.document-item:hover .title {
52+
-fx-text-fill: blue;
53+
}
54+
55+
.document-item:hover .description {
56+
-fx-text-fill: navy;
57+
}
58+
59+
.document-item:hover .paper {
60+
-fx-fill: white;
61+
}
62+
2663
.lineno {
2764
-fx-fill: #e8e8e8;
2865
-fx-background-color: -fx-fill;

‎src/main/resources/themes/jem.css‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,43 @@
1313
-fx-padding: 5;
1414
}
1515

16+
.document-item {
17+
-fx-padding: 10;
18+
}
19+
20+
.document-item:hover {
21+
-fx-background-color: skyblue;
22+
-fx-border-style: solid;
23+
-fx-border-color: navy;
24+
}
25+
26+
.document-item .title {
27+
-fx-font-size: 150%;
28+
-fx-font-weight: bold;
29+
}
30+
31+
.document-item .paper {
32+
-fx-fill: silver;
33+
}
34+
35+
.document-item .description {
36+
-fx-font-family: monospaced;
37+
-fx-font-size: 90%;
38+
-fx-text-fill: gray;
39+
}
40+
41+
.document-item:hover .title {
42+
-fx-text-fill: blue;
43+
}
44+
45+
.document-item:hover .description {
46+
-fx-text-fill: navy;
47+
}
48+
49+
.document-item:hover .paper {
50+
-fx-fill: white;
51+
}
52+
1653
.lineno {
1754
-fx-fill: #FFDDAA;
1855
-fx-background-color: -fx-fill;

‎src/main/resources/themes/monokai.css‎

Lines changed: 37 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -33,6 +33,43 @@
3333
-fx-background-color: #202020;
3434
}
3535

36+
.document-item {
37+
-fx-padding: 10;
38+
}
39+
40+
.document-item:hover {
41+
-fx-background-color: skyblue;
42+
-fx-border-style: solid;
43+
-fx-border-color: navy;
44+
}
45+
46+
.document-item .title {
47+
-fx-font-size: 150%;
48+
-fx-font-weight: bold;
49+
}
50+
51+
.document-item .paper {
52+
-fx-fill: silver;
53+
}
54+
55+
.document-item .description {
56+
-fx-font-family: monospaced;
57+
-fx-font-size: 90%;
58+
-fx-text-fill: gray;
59+
}
60+
61+
.document-item:hover .title {
62+
-fx-text-fill: blue;
63+
}
64+
65+
.document-item:hover .description {
66+
-fx-text-fill: navy;
67+
}
68+
69+
.document-item:hover .paper {
70+
-fx-fill: white;
71+
}
72+
3673
.lineno {
3774
-fx-fill: #2F3129;
3875
-fx-background-color: -fx-fill;

‎src/main/resources/themes/python-keywords.css‎

Lines changed: 0 additions & 71 deletions
This file was deleted.

0 commit comments

Comments
 (0)