refinery - Mirror of https://github.com/graphs4value/refinery

	Commit message (Collapse)	Author	Age
*	refactor(frontend): improve key bindings	Kristóf Marussy	2024-04-27
\| \| \| \| \| \|	* Accept completions with both Enter or Tab. * Ctrl-d duplicates current line (use Ctrl-Shift-d to select next occurrence). * Suppress browser save dialog on Ctrl-s even if there are no changes.
*	feat(web): file open and save	Kristóf Marussy	2024-02-24
\| \| \| \|	In-place saving is only supported in Chromium.
*	fix(web): editor cursor styling	Kristóf Marussy	2023-04-26
\| \| \| \| \|	Temporarily remove custom scrollbar and indentation styling, because they interferred with cursor visibility.
*	chore: add copyright headers	Kristóf Marussy	2023-04-15
\| \| \| \| \| \| \| \| \| \| \| \| \| \|	Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification.
*	refactor(frontend): simplify diagnostic tracking	Kristóf Marussy	2022-12-09
\|
*	feat(frontend): overlay scrollbars for editor	Kristóf Marussy	2022-11-05
\|
*	refactor(frontend): editor theme improvements	Kristóf Marussy	2022-11-05
\|
*	refactor(frontend): improve code splitting	Kristóf Marussy	2022-08-21
\|
*	fix(frontend): CodeMirror gutter accessibility	Kristóf Marussy	2022-08-20
\| \| \| \| \|	Gutters are aria-hidden, so no accessibility attributes should point at them.
*	feat(frontend): custom search panel	Kristóf Marussy	2022-08-17
\| \| \| \|	Also improves editor styling (to enable panel styling).
*	refactor(frondend): improve editor store and theme	Kristóf Marussy	2022-08-16
	Also bumps frontend dependencies.