source:
trunk/src/org/expeditee/settings@
768
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
experimental | 666 | 10 years | Tidy up settings (no longer directly using GenericSettings) | ||
exploratorysearch | 766 | 10 years | Added Exploratory Search settings package; can now specify height and … | ||
network | 757 | 10 years | Further tweak to print statement about network/proxy settings | ||
Settings.java | 8.0 KB | 717 | 10 years | Changes to settings tree generation, and added vertical/horizontal … | |
UserSettings.java | 16.3 KB | 768 | 10 years | When detecting OS by using indexOf on … |
Note:
See TracBrowser
for help on using the repository browser.