{"action":"closed","issue":{"url":"https://api.github.com/repos/opennars/opennars/issues/145","repository_url":"https://api.github.com/repos/opennars/opennars","labels_url":"https://api.github.com/repos/opennars/opennars/issues/145/labels{/name}","comments_url":"https://api.github.com/repos/opennars/opennars/issues/145/comments","events_url":"https://api.github.com/repos/opennars/opennars/issues/145/events","html_url":"https://github.com/opennars/opennars/issues/145","id":320393758,"number":145,"title":"Interactive narseses editor mode","user":{"login":"PtrMan","id":1067920,"avatar_url":"https://avatars0.githubusercontent.com/u/1067920?v=4","gravatar_id":"","url":"https://api.github.com/users/PtrMan","html_url":"https://github.com/PtrMan","followers_url":"https://api.github.com/users/PtrMan/followers","following_url":"https://api.github.com/users/PtrMan/following{/other_user}","gists_url":"https://api.github.com/users/PtrMan/gists{/gist_id}","starred_url":"https://api.github.com/users/PtrMan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/PtrMan/subscriptions","organizations_url":"https://api.github.com/users/PtrMan/orgs","repos_url":"https://api.github.com/users/PtrMan/repos","events_url":"https://api.github.com/users/PtrMan/events{/privacy}","received_events_url":"https://api.github.com/users/PtrMan/received_events","type":"User","site_admin":false},"labels":[{"id":115065823,"url":"https://api.github.com/repos/opennars/opennars/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-05-04T19:10:46Z","updated_at":"2018-05-05T12:46:22Z","closed_at":"2018-05-05T12:46:22Z","author_association":"CONTRIBUTOR","body":"auto-completion/GUI interaction\r\n=====\r\n\r\nThe GUI could interact directly with the user for a GUI narsese autocompletion\r\n\r\nfeatures\r\n* styling/coloring\r\n* fast interactive writing of narsese in the GUI/IDE\r\n\r\nexample\r\n\r\nuser presses < (for statement)\r\n\r\n> <_ _ _>\r\n\r\nuser presses > (for inheritance)\r\n\r\n> <_ --> _>\r\n\r\nuser presses < (for statement)\r\n\r\n> <<_ _ _> --> _>\r\n\r\nuser presses <  (for similarity)\r\n\r\n> <<_ <-> _> --> _>\r\n\r\nuser presses banana\r\n\r\n> <<banana <-> _> --> _>\r\n\r\nuser presses right\r\n\r\n> <<banana <-> _> --> _>\r\n\r\nuser presses [ (for property)\r\n\r\n> <<banana <-> [_]> --> _>\r\n\r\nuser presses green\r\n\r\n> <<banana <-> [green]> --> _>\r\n\r\nuser presses right\r\n\r\n> <<banana <-> [green]> --> _>\r\n\r\nuser presses now\r\n\r\n> <<banana <-> [green]> --> now>\r\n\r\n\r\ncommands (context dependent, the context can be either statement or term/product)\r\n\\> : inheritance\r\n\\< : similarity\r\n=> : implication\r\n=< : <=>\r\n/> : =/>\r\n\\* : product\r\n// : (&/, \r\n\\+ : +time\r\n\r\n{ : {}\r\n] : []"}}
{"actor":{"display_login":"PtrMan"}}