Jonatan Heyman
|
c2036e7e6b
|
Allow running both an instance of a Heynote production build, and a dev instance
|
2023-01-13 01:57:50 +01:00 |
|
Jonatan Heyman
|
3d20ac30be
|
Add @electron/asar to dev dependencies
|
2023-01-13 01:47:33 +01:00 |
|
Jonatan Heyman
|
f70098fde9
|
Remove built files
|
2023-01-13 01:45:22 +01:00 |
|
Jonatan Heyman
|
1852ea7a03
|
Fix Electron build stuff.
Add icon.
Upgrade som packages.
|
2023-01-13 01:45:14 +01:00 |
|
Jonatan Heyman
|
77d457bdee
|
Fix so that language detection web worker works both in development and release build
|
2023-01-13 01:43:20 +01:00 |
|
Jonatan Heyman
|
6ff9d2ca4a
|
Add a welcome message to the fixture text
|
2023-01-13 01:42:23 +01:00 |
|
Jonatan Heyman
|
c7a00dd8da
|
Hide loading screen when app is loaded
|
2023-01-13 01:42:02 +01:00 |
|
Jonatan Heyman
|
d1b61ce899
|
Don't auto open developer tools
|
2023-01-13 01:40:35 +01:00 |
|
Jonatan Heyman
|
a8bbc8a9a0
|
Remove built files
|
2023-01-13 01:39:59 +01:00 |
|
Jonatan Heyman
|
2c19a749c8
|
Remove /public/ from URL path
|
2023-01-12 19:09:50 +01:00 |
|
Jonatan Heyman
|
7a39cb44a4
|
Add npm script task for building the heynote lezer grammar
|
2023-01-12 18:58:06 +01:00 |
|
Jonatan Heyman
|
fc8c4a55a0
|
Move editor into Electron shell
|
2023-01-12 18:55:55 +01:00 |
|
Jonatan Heyman
|
ce531aa854
|
Fix wrong height of last block background layer
|
2023-01-12 18:01:54 +01:00 |
|
Jonatan Heyman
|
e880387128
|
Add some padding before the first line
|
2023-01-12 18:01:21 +01:00 |
|
Jonatan Heyman
|
8e4a486681
|
Change default theme to light
|
2023-01-12 17:32:11 +01:00 |
|
Jonatan Heyman
|
8649222fa8
|
Add relevance threshold to language auto detection, and some debug logging
|
2023-01-12 17:31:47 +01:00 |
|
Jonatan Heyman
|
185dc25078
|
Design pixel push
|
2023-01-12 17:05:22 +01:00 |
|
Jonatan Heyman
|
ee9e44028c
|
Remove top margin from first block
|
2023-01-12 17:04:47 +01:00 |
|
Jonatan Heyman
|
6d7abb1503
|
Decrease font size
|
2023-01-12 01:01:25 +01:00 |
|
Jonatan Heyman
|
77146bda6c
|
Change block background colors for light theme
|
2023-01-12 01:01:17 +01:00 |
|
Jonatan Heyman
|
7d87277f65
|
Slightly less padding in gutter
|
2023-01-12 00:59:51 +01:00 |
|
Jonatan Heyman
|
c64deb786e
|
Add some spacing between blocks
|
2023-01-12 00:57:58 +01:00 |
|
Jonatan Heyman
|
15c6cc8523
|
Include light/dark theme before base so that it takes precedence
|
2023-01-12 00:57:02 +01:00 |
|
Jonatan Heyman
|
af86743f19
|
Language auto detection
|
2023-01-03 16:56:07 +01:00 |
|
Jonatan Heyman
|
95328ba739
|
Add getActiveNoteBlock function
|
2023-01-02 11:49:45 +01:00 |
|
Jonatan Heyman
|
f53a579614
|
Change selection background color for light theme
|
2022-12-31 14:49:01 +01:00 |
|
Jonatan Heyman
|
866c2fd30f
|
Disable (over)scroll "bouncing"
|
2022-12-31 12:20:21 +01:00 |
|
Jonatan Heyman
|
8c059dc4be
|
Add a light theme.
Move common stuff into a base theme.
|
2022-12-31 02:03:13 +01:00 |
|
Jonatan Heyman
|
74bb800a4a
|
Tweak colors of dark theme
|
2022-12-30 17:04:53 +01:00 |
|
Jonatan Heyman
|
51bb893836
|
Move keymap into its own JS module
|
2022-12-30 16:18:15 +01:00 |
|
Jonatan Heyman
|
c8e4861ffe
|
Fix bug causing note delimiter to be copied if "moveLineUp" command was executed with the first line selected
|
2022-12-30 16:11:22 +01:00 |
|
Jonatan Heyman
|
0f072b8699
|
Add select all command that first selects the current note, and then the whole document (if executed with a whole note selected)
|
2022-12-30 15:31:12 +01:00 |
|
Jonatan Heyman
|
4307bf6d0f
|
Set scroll margin
|
2022-12-30 15:04:48 +01:00 |
|
Jonatan Heyman
|
937c5af191
|
Add command for inserting a new note
|
2022-12-30 15:04:33 +01:00 |
|
Jonatan Heyman
|
8e88f33e4a
|
Move note-block.js into subdirectory
|
2022-12-30 15:00:49 +01:00 |
|
Jonatan Heyman
|
1695cc9d11
|
Create HeynoteEditor class and restructure init code
|
2022-12-30 12:55:41 +01:00 |
|
Jonatan Heyman
|
9aff278c80
|
Set note background layers' width to 100% in CSS instead of measuring the editor width in a requestMeasure() call
|
2022-12-30 12:52:32 +01:00 |
|
Jonatan Heyman
|
1f4c63cff1
|
Add ability to scroll past the end of the document, and increase the height of the last note's background layer
|
2022-12-30 11:20:07 +01:00 |
|
Jonatan Heyman
|
bbab47a8ac
|
Indent with 4 spaces
|
2022-12-30 11:06:29 +01:00 |
|
Jonatan Heyman
|
570fdba08b
|
Move cursor to end of document and scroll it into view
|
2022-12-30 11:06:09 +01:00 |
|
Jonatan Heyman
|
5a4a092521
|
Make gutter semi transparent.
Darker colors.
|
2022-12-30 03:03:20 +01:00 |
|
Jonatan Heyman
|
e21ec44556
|
Turn on line wrapping
|
2022-12-30 03:02:43 +01:00 |
|
Jonatan Heyman
|
b1e46e2b96
|
Automatically focus editor on page load
|
2022-12-30 03:02:31 +01:00 |
|
Jonatan Heyman
|
662a234377
|
Minor formatting
|
2022-12-30 03:02:04 +01:00 |
|
Jonatan Heyman
|
1b3665b7b6
|
Track the size of the first note's delimiter, and use that (instead of hard coded value) to decide how big range we need to protect in the beginning
|
2022-12-29 22:24:07 +01:00 |
|
Jonatan Heyman
|
c7282b3131
|
Fix issue with the first line of the first block.
Individual line numbering for each block.
|
2022-12-29 21:03:53 +01:00 |
|
Jonatan Heyman
|
f4642de14c
|
Fix rendering of note backgrounds when there are multiple view.visibleRanges
|
2022-12-29 21:02:26 +01:00 |
|
Jonatan Heyman
|
693390cac4
|
Only iterate through the syntax tree in one place to build up a state and store in a StateField, which is then used by the other extensions
|
2022-12-29 19:38:01 +01:00 |
|
Jonatan Heyman
|
551089d613
|
Set correct width for block backgrounds
|
2022-12-29 18:44:33 +01:00 |
|
Jonatan Heyman
|
f1038ce696
|
Change note separator to include a new line both at the start and end. This fixes a bug with hitting End/Home keys putting the cursor within the atomic block around the separator.
|
2022-12-29 14:16:31 +01:00 |
|