 Gildas
|
e7222b3d96
added "Auto-settings rules" in the options page
|
7 лет назад |
|
Gildas
|
fc55913916
Added workaround to fix issue #111
|
7 лет назад |
|
Gildas
|
d80220ec37
ensure default settings are always displayed in first position
|
7 лет назад |
|
Gildas
|
c5ee526216
use internal constant for the default profile name
|
7 лет назад |
|
Gildas
|
d29ff09c05
fixed refreshing issue after resetting options
|
7 лет назад |
|
Gildas
|
3c9c9890b8
Basic implementation of profiles
|
7 лет назад |
|
Gildas
|
3b787676af
introduced concept of profiles
|
7 лет назад |
