Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Feature Request] Add undo to linux #160

Open
JeannesTheo opened this issue Nov 21, 2023 · 4 comments
Open

[Feature Request] Add undo to linux #160

JeannesTheo opened this issue Nov 21, 2023 · 4 comments

Comments

@JeannesTheo
Copy link

Is your feature request related to a problem? Please describe.
If i want to undo the last change on Corese, i used to type Ctrl+Z, but nothing happens

Describe the solution you'd like
When i hit Ctrl+Z, the last change is reverted

Additional context
Distribution : Pop-Os 22.04 LTS
Corese Version : 4.4.1
I've got Corese-Gui downloaded on Flathub

@JeannesTheo JeannesTheo changed the title Add undo to linux [Feature Request] Add undo to linux Nov 21, 2023
@remiceres
Copy link
Collaborator

Hello,

Thank you for your report.

I have attempted to reproduce the issue, but without success. My tests were conducted on Fedora 39 using Corese-Gui, which I installed from FlatHub.

Have you tried the undo function in either the query editor or the RDF SHACL editor?

@remiceres
Copy link
Collaborator

Undo functionality is currently enabled across all operating systems, but it is only available in the query editor.

Could you please specify whether the undo feature is not working in the query editor for you, or are you suggesting that we should implement the undo function in the other editors (RDF, SHACL)?

@JeannesTheo
Copy link
Author

Using the Corese JAR 4.5.0, both Undo (Ctrl+Z) and Redo (Ctrl+Y) are working in the Shacl editor and in the Turtle Editor. Despite that, neither of them seems to be working for me in the Query Editor

@remiceres
Copy link
Collaborator

Thank you for the clarifications.
Undo and redo functions must work in all editors. I managed to reproduce the problem on certain Linux setups, but for now, I haven't identified any common factors between them. In some Linux distributions, it works, and in others, it does not.

It doesn't seem to be linked to the distribution, as it works on some Fedora setups and not on others. I will investigate further.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants