{"action":"created","issue":{"url":"https://api.github.com/repos/scala-ide/scala-ide/issues/901","labels_url":"https://api.github.com/repos/scala-ide/scala-ide/issues/901/labels{/name}","comments_url":"https://api.github.com/repos/scala-ide/scala-ide/issues/901/comments","events_url":"https://api.github.com/repos/scala-ide/scala-ide/issues/901/events","html_url":"https://github.com/scala-ide/scala-ide/pull/901","id":58608209,"number":901,"title":"T1002387 Remove an option to close SPCs when editors are open","user":{"login":"mpociecha","id":6143494,"avatar_url":"https://avatars.githubusercontent.com/u/6143494?v=3","gravatar_id":"","url":"https://api.github.com/users/mpociecha","html_url":"https://github.com/mpociecha","followers_url":"https://api.github.com/users/mpociecha/followers","following_url":"https://api.github.com/users/mpociecha/following{/other_user}","gists_url":"https://api.github.com/users/mpociecha/gists{/gist_id}","starred_url":"https://api.github.com/users/mpociecha/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mpociecha/subscriptions","organizations_url":"https://api.github.com/users/mpociecha/orgs","repos_url":"https://api.github.com/users/mpociecha/repos","events_url":"https://api.github.com/users/mpociecha/events{/privacy}","received_events_url":"https://api.github.com/users/mpociecha/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-02-23T16:16:07Z","updated_at":"2015-02-23T16:16:10Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/scala-ide/scala-ide/pulls/901","html_url":"https://github.com/scala-ide/scala-ide/pull/901","diff_url":"https://github.com/scala-ide/scala-ide/pull/901.diff","patch_url":"https://github.com/scala-ide/scala-ide/pull/901.patch"},"body":"There are known cases when this (by default disabled) option leads to\r\nmemory leaks. Since the way in which dependencies of the presentation\r\ncompiler are freed hasn't been corrected so far, it's better to remove\r\nthis option. It can be brought back when the related problems will be\r\nsolved and someone will still consider it as something helpful.\r\n\r\nThis commit removes the preference stored previously in the preference\r\nstore, the checkox from GUI and underlying logic. It also updates\r\ntests."},"comment":{"url":"https://api.github.com/repos/scala-ide/scala-ide/issues/comments/75574082","html_url":"https://github.com/scala-ide/scala-ide/pull/901#issuecomment-75574082","issue_url":"https://api.github.com/repos/scala-ide/scala-ide/issues/901","id":75574082,"user":{"login":"ghprb-bot","id":4980425,"avatar_url":"https://avatars.githubusercontent.com/u/4980425?v=3","gravatar_id":"","url":"https://api.github.com/users/ghprb-bot","html_url":"https://github.com/ghprb-bot","followers_url":"https://api.github.com/users/ghprb-bot/followers","following_url":"https://api.github.com/users/ghprb-bot/following{/other_user}","gists_url":"https://api.github.com/users/ghprb-bot/gists{/gist_id}","starred_url":"https://api.github.com/users/ghprb-bot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ghprb-bot/subscriptions","organizations_url":"https://api.github.com/users/ghprb-bot/orgs","repos_url":"https://api.github.com/users/ghprb-bot/repos","events_url":"https://api.github.com/users/ghprb-bot/events{/privacy}","received_events_url":"https://api.github.com/users/ghprb-bot/received_events","type":"User","site_admin":false},"created_at":"2015-02-23T16:16:10Z","updated_at":"2015-02-23T16:16:10Z","body":"Can one of the admins verify this patch?"}}