Request: Add "expand all branches" button

[LivInTheLookingGlass]

In python this would be something like:

def expandAll(self):      #Tree
    for child in self.get_premises():
        child.expandAll()

def expandAll(self):      #Node
    for child in self.published_children():
        child.expandAll()
    self.expanded = False