{"action":"created","issue":{"url":"https://api.github.com/repos/dealii/dealii/issues/1578","labels_url":"https://api.github.com/repos/dealii/dealii/issues/1578/labels{/name}","comments_url":"https://api.github.com/repos/dealii/dealii/issues/1578/comments","events_url":"https://api.github.com/repos/dealii/dealii/issues/1578/events","html_url":"https://github.com/dealii/dealii/pull/1578","id":105871025,"number":1578,"title":"Pretty printers for GDB.","user":{"login":"drwells","id":3917035,"avatar_url":"https://avatars.githubusercontent.com/u/3917035?v=3","gravatar_id":"","url":"https://api.github.com/users/drwells","html_url":"https://github.com/drwells","followers_url":"https://api.github.com/users/drwells/followers","following_url":"https://api.github.com/users/drwells/following{/other_user}","gists_url":"https://api.github.com/users/drwells/gists{/gist_id}","starred_url":"https://api.github.com/users/drwells/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/drwells/subscriptions","organizations_url":"https://api.github.com/users/drwells/orgs","repos_url":"https://api.github.com/users/drwells/repos","events_url":"https://api.github.com/users/drwells/events{/privacy}","received_events_url":"https://api.github.com/users/drwells/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":4,"created_at":"2015-09-10T18:36:29Z","updated_at":"2015-09-11T01:22:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/dealii/dealii/pulls/1578","html_url":"https://github.com/dealii/dealii/pull/1578","diff_url":"https://github.com/dealii/dealii/pull/1578.diff","patch_url":"https://github.com/dealii/dealii/pull/1578.patch"},"body":"I have been using the GDB pretty printers provided in #902. The original was quite good but I made the style more pythonic in some places (and added more quadrature formulas) and improved `pep8` compliance.\r\n\r\nI have been using this from the command line, so I have no idea if it plays nicely with Eclipse or other such environments. It might also have trouble with older versions of GDB (I only have 7.10 available)."},"comment":{"url":"https://api.github.com/repos/dealii/dealii/issues/comments/139424738","html_url":"https://github.com/dealii/dealii/pull/1578#issuecomment-139424738","issue_url":"https://api.github.com/repos/dealii/dealii/issues/1578","id":139424738,"user":{"login":"bangerth","id":7504421,"avatar_url":"https://avatars.githubusercontent.com/u/7504421?v=3","gravatar_id":"","url":"https://api.github.com/users/bangerth","html_url":"https://github.com/bangerth","followers_url":"https://api.github.com/users/bangerth/followers","following_url":"https://api.github.com/users/bangerth/following{/other_user}","gists_url":"https://api.github.com/users/bangerth/gists{/gist_id}","starred_url":"https://api.github.com/users/bangerth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/bangerth/subscriptions","organizations_url":"https://api.github.com/users/bangerth/orgs","repos_url":"https://api.github.com/users/bangerth/repos","events_url":"https://api.github.com/users/bangerth/events{/privacy}","received_events_url":"https://api.github.com/users/bangerth/received_events","type":"User","site_admin":false},"created_at":"2015-09-11T01:22:47Z","updated_at":"2015-09-11T01:22:47Z","body":"I'm using gdb 7.7.1. The change you mention doesn't make a difference, unfortunately :-("}}