{"shas":[["283883c4df1889505fa426b825d6bfdb833e3e11","02721dc64ff5f0ab03b211fb1ae97eb8ee704cb4@zmaw.de","keyPress events should now be propagated to the viewer widget, when ignored elsewhere","Sebastian Heimann"],["169ed911551c0c5cd4f76c278da1613d665c339e","02721dc64ff5f0ab03b211fb1ae97eb8ee704cb4@zmaw.de","new param type for snufflings: choice","Sebastian Heimann"]],"ref":"refs/heads/experimental","size":2,"head":"169ed911551c0c5cd4f76c278da1613d665c339e","push_id":39000869}