- Add in preferences : Pixel filter and filter width s ,filter width t parameters
- Add export of Pixel filter ,filter width s and t parameters - Change color theme of the doc and Shrimp logo: closer to Shrimp color theme
Authored by: fredfewo 2010-01-25
Parent: [r292]
Child: [r294]