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.

Sign up for GitHub

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

Jump to bottom

Disable export button when frontier is empty #3441

Open

imnasnainaec opened this issue Nov 12, 2024 · 0 comments · May be fixed by #3440

Assignees

Labels

enhancement frontend good first issue import/export Size: S

Collaborator

imnasnainaec commented Nov 12, 2024 •

edited

Loading

Related: #542, #1208

Mouse-over with nothing-to-export explanation.

imnasnainaec added enhancement frontend good first issue Size: S labels

imnasnainaec assigned andracc

imnasnainaec added the import/export label

imnasnainaec linked a pull request

that will close this issue

Disable Lift export when Frontier is empty #3440

Draft

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment