Dear JabRef Users,
I am currently evaluating if the hotkey-system needs improvements or even a
complete overhaul. I am doing this because I encountered inconsistencies
and non user friendly shortcuts. To start a discussion on this topic, I
created an Issue on GitHub. Everyone is invited to participate in that
discussion to get a solution suitable for all users.
The GitHub Issue:
https://github.com/JabRef/jabref/issues/1225
If you are not using GitHub and do not want to register, feel free to
contact me directly via E-mail:
[email protected]
Greetings,
Christoph Braun
------------------------------------------------------------------------------
Find and fix application performance issues faster with Applications Manager
Applications Manager provides deep performance insights into multiple tiers of
your business applications. It resolves application problems quickly and
reduces your MTTR. Get your free trial!
https://ad.doubleclick.net/ddm/clk/302982198;130105516;z
_______________________________________________
Jabref-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/jabref-users
