{"action":"created","issue":{"url":"https://api.github.com/repos/kovidgoyal/kitty/issues/190","repository_url":"https://api.github.com/repos/kovidgoyal/kitty","labels_url":"https://api.github.com/repos/kovidgoyal/kitty/issues/190/labels{/name}","comments_url":"https://api.github.com/repos/kovidgoyal/kitty/issues/190/comments","events_url":"https://api.github.com/repos/kovidgoyal/kitty/issues/190/events","html_url":"https://github.com/kovidgoyal/kitty/issues/190","id":276970931,"number":190,"title":"Named key PLUS","user":{"login":"zartstrom","id":7863204,"avatar_url":"https://avatars0.githubusercontent.com/u/7863204?v=4","gravatar_id":"","url":"https://api.github.com/users/zartstrom","html_url":"https://github.com/zartstrom","followers_url":"https://api.github.com/users/zartstrom/followers","following_url":"https://api.github.com/users/zartstrom/following{/other_user}","gists_url":"https://api.github.com/users/zartstrom/gists{/gist_id}","starred_url":"https://api.github.com/users/zartstrom/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zartstrom/subscriptions","organizations_url":"https://api.github.com/users/zartstrom/orgs","repos_url":"https://api.github.com/users/zartstrom/repos","events_url":"https://api.github.com/users/zartstrom/events{/privacy}","received_events_url":"https://api.github.com/users/zartstrom/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-11-27T10:37:21Z","updated_at":"2017-11-27T10:41:07Z","closed_at":"2017-11-27T10:41:07Z","author_association":"NONE","body":"I would like to use `ctrl+shift+plus` as shortcut for increasing font size.\r\nBut this is obviously not supported:\r\n```\r\nShortcut: ctrl+shift+plus    increase_font_size has an unknown key, ignoring\r\n```\r\nand `ctrl+shift++` gives an error.\r\nIn `kitty/config.py` there is a dict `named_key`. Would it be feasible to add a mapping PLUS -> '+'?\r\n\r\nI guess there is a reason to why it's not in there .. if it's document, I'm sorry, I didn't find it yet."},"comment":{"url":"https://api.github.com/repos/kovidgoyal/kitty/issues/comments/347143791","html_url":"https://github.com/kovidgoyal/kitty/issues/190#issuecomment-347143791","issue_url":"https://api.github.com/repos/kovidgoyal/kitty/issues/190","id":347143791,"user":{"login":"kovidgoyal","id":1308621,"avatar_url":"https://avatars0.githubusercontent.com/u/1308621?v=4","gravatar_id":"","url":"https://api.github.com/users/kovidgoyal","html_url":"https://github.com/kovidgoyal","followers_url":"https://api.github.com/users/kovidgoyal/followers","following_url":"https://api.github.com/users/kovidgoyal/following{/other_user}","gists_url":"https://api.github.com/users/kovidgoyal/gists{/gist_id}","starred_url":"https://api.github.com/users/kovidgoyal/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/kovidgoyal/subscriptions","organizations_url":"https://api.github.com/users/kovidgoyal/orgs","repos_url":"https://api.github.com/users/kovidgoyal/repos","events_url":"https://api.github.com/users/kovidgoyal/events{/privacy}","received_events_url":"https://api.github.com/users/kovidgoyal/received_events","type":"User","site_admin":false},"created_at":"2017-11-27T10:41:07Z","updated_at":"2017-11-27T10:41:07Z","author_association":"OWNER","body":"+ is not a key on most keyboards (leaving aside the numeric keyboard). The default shortcut is ctrl+shift+= \r\n\r\nThe equal key typically has + as its shifted alternative. \r\n\r\nAs for the numeric keyboard support for that requires https://github.com/glfw/glfw/issues/1140"}}
{"actor":{"display_login":"kovidgoyal"}}