Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(frontend): compact relation table | Kristóf Marussy | 2023-08-31 |
| | |||
* | refactor(frontend): pane button theme | Kristóf Marussy | 2023-08-31 |
| | |||
* | feat(frontend): implement grid view | Kristóf Marussy | 2023-08-31 |
| | |||
* | feat(frontend): window pane switcher | Kristóf Marussy | 2023-08-30 |
| | |||
* | refactor(frontend): filter dialog formatting | Kristóf Marussy | 2023-08-30 |
| | |||
* | fix(frontend): completion cache invalidation | Kristóf Marussy | 2023-08-30 |
| | | | | | | In some cases, especially with an empty editor, trying to map completions over the last changes may result in a RangeError. If unhandled, the error corrupts editor state. | ||
* | feat(frontend): hide isolated nodes | Kristóf Marussy | 2023-08-30 |
| | |||
* | feat(frontend): projection dialog | Kristóf Marussy | 2023-08-30 |
| | |||
* | refactor(frontend): containment arrow size | Kristóf Marussy | 2023-08-29 |
| | |||
* | refactor(frontent): improve graph drawing | Kristóf Marussy | 2023-08-26 |
| | |||
* | feat(frontend): automatic fit zoom | Kristóf Marussy | 2023-08-24 |
| | |||
* | chore: clarify permissing licensing | Kristóf Marussy | 2023-08-24 |
| | | | | | | | | | | | | For permissive licenses like MIT and BSD, OR EPL doesn't make sense, because the copyright original permission notice must be retained at all times. For code simply copied with minimal modifications that are unrelated to Refinery, we can just use the plain MIT license or BSD-3-clause license. For code with complex modifications related to Refinery, we can instead use the MIT AND EPL-2.0 SPDX expression, which forces downstream users to retain the original MIT notices as required by the MIT license, but also extends Refinery's copyleft to our modifications. | ||
* | refactor(web): clean up graphviz visualization | Kristóf Marussy | 2023-08-24 |
| | |||
* | refactor(web): move d3-zoom patch into repo | Kristóf Marussy | 2023-08-23 |
| | | | | | Instead of referencing an external pull request, move the patch into yarn/.patches and update it to handle pinch-to-zoom. | ||
* | feat(web): zoom controls | Kristóf Marussy | 2023-08-23 |
| | |||
* | refactor: d3 zoom centering | Kristóf Marussy | 2023-08-23 |
| | | | | Uses patch from https://github.com/d3/d3-zoom/pull/212 | ||
* | feat: dot visualization | Kristóf Marussy | 2023-08-23 |
| | |||
* | feat: improve semantics error reporting | Kristóf Marussy | 2023-08-20 |
| | | | | | Also makes model seeds cancellable to reduce server load during semantic analysis. | ||
* | feat: predicate semantics | Kristóf Marussy | 2023-08-18 |
| | |||
* | fix: opposite translation error reporting | Kristóf Marussy | 2023-08-17 |
| | |||
* | feat: basic semantics mapping and visualization | Kristóf Marussy | 2023-08-17 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-08-15 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-06-18 |
| | |||
* | 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. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-03-31 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-02-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-01-28 |
| | |||
* | fix(frontend): do not scroll initially | Kristóf Marussy | 2022-12-21 |
| | | | | | Make sure the CodeMirror DOM is fully ready before inserting a spacer element for overscroll behavior. | ||
* | feat(frontend): add links to top bar | Kristóf Marussy | 2022-12-21 |
| | |||
* | refactor(frontend): split vite config | Kristóf Marussy | 2022-12-11 |
| | | | | | Also introduces tsconfig.shared.json to keep track of source files used both and build time and in the browser. | ||
* | refactor(frontend): lazy load XtextClient | Kristóf Marussy | 2022-12-11 |
| | | | | | Improve time to a usable editor by loading the xtext client lazily. The already existing delay to connect masks the delay of loading. | ||
* | refactor(frontend): theme improvements | Kristóf Marussy | 2022-12-09 |
| | |||
* | refactor(frontend): scrollbar improvements | Kristóf Marussy | 2022-12-09 |
| | |||
* | feat(frontend): dev mode badge | Kristóf Marussy | 2022-12-09 |
| | | | | Thanks @marci543 | ||
* | fix(frontend): reduce Android rendering errors | Kristóf Marussy | 2022-12-09 |
| | |||
* | fix(frontend): content assist error recovery | Kristóf Marussy | 2022-12-09 |
| | |||
* | feat(frontend): scroll beyond last line in editor | Kristóf Marussy | 2022-12-09 |
| | | | | Mimics the polular behavior from Codium. | ||
* | refactor(frontend): simplify diagnostic tracking | Kristóf Marussy | 2022-12-09 |
| | |||
* | 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. | ||
* | refactor(language): simplify syntax | Kristóf Marussy | 2022-11-22 |
| | |||
* | refactor: separate primitive types from nodes | Kristóf Marussy | 2022-11-22 |
| | |||
* | feat(language): numeric expressions | Kristóf Marussy | 2022-11-22 |
| | |||
* | feat(web): backend URL configuration | Kristóf Marussy | 2022-11-10 |
| | | | | | | | | To point the frontend to a backend server, update the config.json file in the website root. The config.json is generated automatically in debug mode and when running from a standalone jar. | ||
* | feat(frontend): scrollbar annotations | Kristóf Marussy | 2022-11-05 |
| | |||
* | feat(frontend): overlay scrollbars for editor | Kristóf Marussy | 2022-11-05 |
| | |||
* | refactor(frontend): editor theme improvements | Kristóf Marussy | 2022-11-05 |
| | |||
* | refactor: DNF atoms | Kristóf Marussy | 2022-11-05 |
| | | | | | | Restore count != capability. Still needs semantics and tests for count atoms over partial models. | ||
* | refactor(frontend): minor theme improvements | Kristóf Marussy | 2022-11-05 |
| | |||
* | refactor(frontend): improve HMR experience | Kristóf Marussy | 2022-11-05 |
| | | | | | | | | Use a HMR acceptor as in https://github.com/vitejs/vite/issues/10227#issuecomment-1256969751 Also updates frontend tooling to the latest version (yarn now support typescript 4.8.4) |