Skip to content

UI: two menus for "Manage external file types" #6991

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
Closed
mlep opened this issue Oct 8, 2020 · 2 comments · Fixed by #7009
Closed

UI: two menus for "Manage external file types" #6991

mlep opened this issue Oct 8, 2020 · 2 comments · Fixed by #7009
Labels
good first issue An issue intended for project-newcomers. Varies in difficulty. [outdated] type: enhancement [outdated] type: feature

Comments

@mlep
Copy link
Contributor

mlep commented Oct 8, 2020

There is two ways to access the window "Manage external file types":

  1. Options -> Manage external file types
  2. Options -> Preferences, tab External programs, button "Manage external file types"

Considering the management of external file types is seldom, I suggest to keep only the second way. Moreover, it helps in having all the preferences in the Preferences window.

JabRef 5.2--2020-10-07--4b1b7b4
Linux 4.9.0-13-amd64 amd64
Java 15
@Siedlerchr Siedlerchr added good first issue An issue intended for project-newcomers. Varies in difficulty. [outdated] type: enhancement [outdated] type: feature labels Oct 8, 2020
@kywelch17
Copy link

is this problem still relevant? would like to work on it if so.

@schrothbn schrothbn mentioned this issue Oct 12, 2020
Merged
5 tasks
@mlep
Copy link
Contributor Author

mlep commented Oct 20, 2020

The menu is not here anymore, making the UI more consistent. Thank you @schrothbn!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue An issue intended for project-newcomers. Varies in difficulty. [outdated] type: enhancement [outdated] type: feature
Projects
Features & Enhancements
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Removed menu entry for 'Manage external file types'
3 participants
@Siedlerchr @mlep @kywelch17