{"action":"closed","issue":{"url":"https://api.github.com/repos/eranif/codelite/issues/1262","repository_url":"https://api.github.com/repos/eranif/codelite","labels_url":"https://api.github.com/repos/eranif/codelite/issues/1262/labels{/name}","comments_url":"https://api.github.com/repos/eranif/codelite/issues/1262/comments","events_url":"https://api.github.com/repos/eranif/codelite/issues/1262/events","html_url":"https://github.com/eranif/codelite/issues/1262","id":151414194,"number":1262,"title":"Interface instability in 9.1","user":{"login":"wittend","id":337442,"avatar_url":"https://avatars.githubusercontent.com/u/337442?v=3","gravatar_id":"","url":"https://api.github.com/users/wittend","html_url":"https://github.com/wittend","followers_url":"https://api.github.com/users/wittend/followers","following_url":"https://api.github.com/users/wittend/following{/other_user}","gists_url":"https://api.github.com/users/wittend/gists{/gist_id}","starred_url":"https://api.github.com/users/wittend/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/wittend/subscriptions","organizations_url":"https://api.github.com/users/wittend/orgs","repos_url":"https://api.github.com/users/wittend/repos","events_url":"https://api.github.com/users/wittend/events{/privacy}","received_events_url":"https://api.github.com/users/wittend/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-04-27T15:23:31Z","updated_at":"2016-04-27T17:14:15Z","closed_at":"2016-04-27T17:14:15Z","body":"Not a big deal, but:\r\n\r\nIn 9.1 (or 9.9.1, not sure) I am experiencing more instability in the editor than I am used to.  It is not entirely new, but I keep hitting one manifestation that irritates me.  Some combination of key clicks or mouse clicks, usually close to but not on the menu bar, suddenly closes the workspace pane, and probably the output/build/etc pane.   Clicking View->Toggle All Panes restores everything.\r\n\r\nI am using Mint (cinnamon)/Ubuntu 14.04 "}}