300 | | [[Image(history_tree.png, 800px, title=Figure 6: New look of the History browser tree, align=left)]] |
301 | | [[Image(region_match.png, 400px, title=Figure 4: Box devoted to region settings (current region matches the history region), align=left)]] |
302 | | [[Image(region_update.png, 400px, title=Figure 5: Box devoted to region settings (current region is different from the history region and can be updated), align=left)]] |
| 300 | [[Image(history_tree.png, 800px, title=Figure 4: New look of the History browser tree, align=left)]] |
| 301 | [[Image(region_match.png, 400px, title=Figure 5: Box devoted to region settings (current region matches the history region), align=left)]] |
| 302 | [[Image(region_update.png, 400px, title=Figure 6: Box devoted to region settings (current region is different from the history region and can be updated), align=left)]] |