{"action":"created","issue":{"url":"https://api.github.com/repos/mintty/mintty/issues/533","repository_url":"https://api.github.com/repos/mintty/mintty","labels_url":"https://api.github.com/repos/mintty/mintty/issues/533/labels{/name}","comments_url":"https://api.github.com/repos/mintty/mintty/issues/533/comments","events_url":"https://api.github.com/repos/mintty/mintty/issues/533/events","html_url":"https://github.com/mintty/mintty/issues/533","id":144342350,"number":533,"title":"crash while trying to change font","user":{"login":"grondilu","id":293068,"avatar_url":"https://avatars.githubusercontent.com/u/293068?v=3","gravatar_id":"","url":"https://api.github.com/users/grondilu","html_url":"https://github.com/grondilu","followers_url":"https://api.github.com/users/grondilu/followers","following_url":"https://api.github.com/users/grondilu/following{/other_user}","gists_url":"https://api.github.com/users/grondilu/gists{/gist_id}","starred_url":"https://api.github.com/users/grondilu/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/grondilu/subscriptions","organizations_url":"https://api.github.com/users/grondilu/orgs","repos_url":"https://api.github.com/users/grondilu/repos","events_url":"https://api.github.com/users/grondilu/events{/privacy}","received_events_url":"https://api.github.com/users/grondilu/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":29,"created_at":"2016-03-29T18:02:53Z","updated_at":"2016-12-01T15:16:32Z","closed_at":"2016-05-02T07:09:37Z","body":"The window disappears when I right-click and select \"options\"->\"Text\"->\"Select\" (in the \"font\" area).\n\nI'm using cygwin on Windows 10.   \"Options->About\" tells me it's mintty 2.3.3 (x86_64-pc-cygwin).\n\nEDIT:  it appears the window survives if it's not the only opened one.  That is if I open an other terminal with Alt-F2 and then try to change the font, it works.\n"},"comment":{"url":"https://api.github.com/repos/mintty/mintty/issues/comments/264199581","html_url":"https://github.com/mintty/mintty/issues/533#issuecomment-264199581","issue_url":"https://api.github.com/repos/mintty/mintty/issues/533","id":264199581,"user":{"login":"mjsyp","id":14925777,"avatar_url":"https://avatars.githubusercontent.com/u/14925777?v=3","gravatar_id":"","url":"https://api.github.com/users/mjsyp","html_url":"https://github.com/mjsyp","followers_url":"https://api.github.com/users/mjsyp/followers","following_url":"https://api.github.com/users/mjsyp/following{/other_user}","gists_url":"https://api.github.com/users/mjsyp/gists{/gist_id}","starred_url":"https://api.github.com/users/mjsyp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mjsyp/subscriptions","organizations_url":"https://api.github.com/users/mjsyp/orgs","repos_url":"https://api.github.com/users/mjsyp/repos","events_url":"https://api.github.com/users/mjsyp/events{/privacy}","received_events_url":"https://api.github.com/users/mjsyp/received_events","type":"User","site_admin":false},"created_at":"2016-12-01T15:16:32Z","updated_at":"2016-12-01T15:16:32Z","body":"Potential solution:\r\n\r\nI had a similar issue. I wanted to change the default font, but every time I went through mintty > Options > Text > Select... the terminal would crash after hitting \"Apply\".\r\n\r\nTo change the font outside of the terminal GUI:\r\n1) Install the font that you want: \"my_font.ttf\"\r\n2) Navigate to your home directory\r\n3) Open \"~/.minttyrc\"\r\n4) Add (or modify) the line that says \"Font=my_font\" (e.g. Font=Ubuntu Mono derivative Powerline)\r\n5) Save and restart the terminal\r\n\r\nIt worked for me, let me know if it works for you. Good luck."}}
{"actor":{"display_login":"mjsyp"}}