Added by Christos Stathis over 12 years ago
Added a refresh button next to the tools button
View differences