You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Marc Zinnschlag 94ae222f0e Merge branch 'settings'		10 years ago
..
doc	user settings cleanup	10 years ago
filter	Tweak the look of the recordfilterbox. Keep titlebar if floating.	10 years ago
render	Merge branch 'settings'	10 years ago
settings	Merge branch 'settings'	10 years ago
tools	make delegates use the whole document instead of the undo stack	11 years ago
widget	rewrote run tool profile management	10 years ago
world	Revert "Don't allow viewing non-existent cells from the regionmap."	10 years ago