{"action":"closed","issue":{"url":"https://api.github.com/repos/flycheck/flycheck-pos-tip/issues/12","labels_url":"https://api.github.com/repos/flycheck/flycheck-pos-tip/issues/12/labels{/name}","comments_url":"https://api.github.com/repos/flycheck/flycheck-pos-tip/issues/12/comments","events_url":"https://api.github.com/repos/flycheck/flycheck-pos-tip/issues/12/events","html_url":"https://github.com/flycheck/flycheck-pos-tip/issues/12","id":121684751,"number":12,"title":"If cursor stays on error the tip should not disappear","user":{"login":"romanofski","id":121047,"avatar_url":"https://avatars.githubusercontent.com/u/121047?v=3","gravatar_id":"","url":"https://api.github.com/users/romanofski","html_url":"https://github.com/romanofski","followers_url":"https://api.github.com/users/romanofski/followers","following_url":"https://api.github.com/users/romanofski/following{/other_user}","gists_url":"https://api.github.com/users/romanofski/gists{/gist_id}","starred_url":"https://api.github.com/users/romanofski/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/romanofski/subscriptions","organizations_url":"https://api.github.com/users/romanofski/orgs","repos_url":"https://api.github.com/users/romanofski/repos","events_url":"https://api.github.com/users/romanofski/events{/privacy}","received_events_url":"https://api.github.com/users/romanofski/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2015-12-11T10:53:05Z","updated_at":"2015-12-14T11:03:01Z","closed_at":"2015-12-14T11:03:01Z","body":"If the error message is long, it would be great if the tip would stay as long open as the cursor stays on the indicated error. Otherwise studying the error message is cumbersome.\r\n\r\nIncreasing the timeout is a possible work around, but cumbersome if it stays open for too long under errors/warnings which are unimportant and the cursor has been moved already away."}}