)]}'
{
  "commit": "5fa871f5d93bf285753f219cf583d0763dc0cd33",
  "tree": "61a88157a6af44dcf5d15e09ab8e9d47489613c3",
  "parents": [
    "ff3c86a844225a0f8848b2aee0b1628114c01377"
  ],
  "author": {
    "name": "Tom de Vries",
    "email": "tdevries@suse.de",
    "time": "Mon Nov 13 21:22:50 2023 +0100"
  },
  "committer": {
    "name": "Tom de Vries",
    "email": "tdevries@suse.de",
    "time": "Mon Nov 13 21:22:50 2023 +0100"
  },
  "message": "[gdb/tui] Don\u0027t include border_width in left_margin\n\nCurrently left_margin does not match its documentation:\n...\n  /* Return the size of the left margin space, this is the space used to\n     display things like breakpoint markers.  */\n  int left_margin () const\n  { return box_width () + TUI_EXECINFO_SIZE + extra_margin (); }\n...\n\nIt is stated that the left margin is reserved to display things, but\nthe box_width is not used for that.\n\nFix this by dropping box_width () from the left_margin calculation.\n\nTested on x86_64-linux.\n\nApproved-By: Tom Tromey \u003ctom@tromey.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "83ce48090a0b073e5272a66956219251de88162b",
      "old_mode": 33188,
      "old_path": "gdb/tui/tui-winsource.c",
      "new_id": "ea4ca219292d5f08ac61fb6089d9a33da9ff6bc5",
      "new_mode": 33188,
      "new_path": "gdb/tui/tui-winsource.c"
    },
    {
      "type": "modify",
      "old_id": "dccce0efca175153d1663973f6f6fd0a769ebf54",
      "old_mode": 33188,
      "old_path": "gdb/tui/tui-winsource.h",
      "new_id": "c2826165a10c35ecee63a3746341f5cc1aa657b8",
      "new_mode": 33188,
      "new_path": "gdb/tui/tui-winsource.h"
    }
  ]
}