{"action":"opened","issue":{"url":"https://api.github.com/repos/wbsoft/frescobaldi/issues/767","labels_url":"https://api.github.com/repos/wbsoft/frescobaldi/issues/767/labels{/name}","comments_url":"https://api.github.com/repos/wbsoft/frescobaldi/issues/767/comments","events_url":"https://api.github.com/repos/wbsoft/frescobaldi/issues/767/events","html_url":"https://github.com/wbsoft/frescobaldi/issues/767","id":109754935,"number":767,"title":"Support more than 10 available LilyPond versions","user":{"login":"sincere-music","id":11503054,"avatar_url":"https://avatars.githubusercontent.com/u/11503054?v=3","gravatar_id":"","url":"https://api.github.com/users/sincere-music","html_url":"https://github.com/sincere-music","followers_url":"https://api.github.com/users/sincere-music/followers","following_url":"https://api.github.com/users/sincere-music/following{/other_user}","gists_url":"https://api.github.com/users/sincere-music/gists{/gist_id}","starred_url":"https://api.github.com/users/sincere-music/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sincere-music/subscriptions","organizations_url":"https://api.github.com/users/sincere-music/orgs","repos_url":"https://api.github.com/users/sincere-music/repos","events_url":"https://api.github.com/users/sincere-music/events{/privacy}","received_events_url":"https://api.github.com/users/sincere-music/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-10-05T08:56:00Z","updated_at":"2015-10-05T08:56:00Z","closed_at":null,"body":"Yesterday I added LilyPond 2.19.28 to the ‘Versions to use’ in the LilyPond preferences tab. This didn’t work, 2.19.28 wasn’t automatically launched with `\\version \"2.19.28\"`, and when I reopened the Preferences dialogue, it had disappeared from the list. It seems like there is a limit of 10, since this was the eleventh version of LilyPond that I had installed. Could this be raised? Do we need a limit there?"}}