Komit Sejarah

Pembuat SHA1 Pesan Tanggal
  Gildas fc55913916 Added workaround to fix issue #111 7 tahun lalu
  Gildas d80220ec37 ensure default settings are always displayed in first position 7 tahun lalu
  Gildas c5ee526216 use internal constant for the default profile name 7 tahun lalu
  Gildas d29ff09c05 fixed refreshing issue after resetting options 7 tahun lalu
  Gildas 3c9c9890b8 Basic implementation of profiles 7 tahun lalu
  Gildas 3b787676af introduced concept of profiles 7 tahun lalu