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

	Commit message (Collapse)	Author	Age
*	refactor(frontend): fix React warnings	Kristóf Marussy	2024-07-06
\|
*	feat(frontend): add tooltips to buttons	Kristóf Marussy	2024-04-12
\|
*	feat(web): file open and save	Kristóf Marussy	2024-02-24
\| \| \| \|	In-place saving is only supported in Chromium.
*	feat(web): toggle identifier coloring	Kristóf Marussy	2024-01-03
\|
*	feat(frontend): implement grid view	Kristóf Marussy	2023-08-31
\|
*	feat(frontend): window pane switcher	Kristóf Marussy	2023-08-30
\|
*	feat: improve semantics error reporting	Kristóf Marussy	2023-08-20
\| \| \| \| \|	Also makes model seeds cancellable to reduce server load during semantic analysis.
*	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.
*	fix(frontend): mobx 6.7.0 typing	Kristóf Marussy	2022-11-22
\| \| \| \| \| \| \|	Also bumps some dependencies and updates tsconfig.json The added workarounds should be remove once https://github.com/mobxjs/mobx/issues/3582 is resolved.
*	feat(frontend): show connection status	Kristóf Marussy	2022-09-06
\|
*	refactor(frontend): add eslint-plugin-mobx	Kristóf Marussy	2022-08-27
\|
*	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.
*	refactor(frontend): update theme	Kristóf Marussy	2022-08-19
\|
*	feat(frontend): responsive editor styling	Kristóf Marussy	2022-08-18
\|
*	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.
*	refactor(frondend): dark theme tweaks	Kristóf Marussy	2022-08-15
\|
*	refactor(frontend): move from Webpack to Vite	Kristóf Marussy	2022-08-12
\| \| \| \|	Also overhaulds the building and linting for frontend assets.
*	build: separate module for frontend	Kristóf Marussy	2021-12-14
	This allows us to simplify the webpack configuration and the gradle build scripts.