{"push_id":854691508,"size":2,"distinct_size":2,"ref":"refs/heads/editor_reveal_anno","head":"3f9458b07408951ea9ac5c5f6a074ddd524e6616","before":"40720b7bf6bd14e09faf0891b723f221e490cafa","commits":[{"sha":"52ad18ab41b49f317ebde52134cb2e7228bba2ed","author":{"email":"00e9a0de8ab8d9f73f8baba7628016f51208fdbb@bbaw.de","name":"Jakob Höper"},"message":"set conditions for revealing range in text editor\n\nwhen cursor is placed on an annotation, don't change editor's visible\nrange unconditionally in order to show entire annotation.\nInstead, only move visible range if this will not likely result in the\ncursor being out of visible range.","distinct":true,"url":"https://api.github.com/repos/JKatzwinkel/bts/commits/52ad18ab41b49f317ebde52134cb2e7228bba2ed"},{"sha":"3f9458b07408951ea9ac5c5f6a074ddd524e6616","author":{"email":"00e9a0de8ab8d9f73f8baba7628016f51208fdbb@bbaw.de","name":"Jakob Höper"},"message":"more robust condition for editor visible range jump\n\ncompare visible/target lines numbers instead of caret/character offset\nvalues.","distinct":true,"url":"https://api.github.com/repos/JKatzwinkel/bts/commits/3f9458b07408951ea9ac5c5f6a074ddd524e6616"}]}