Profile: rename some fields

This commit is contained in:
zt515
2017-12-04 23:56:53 +08:00
parent b83dc8f752
commit 119632918e

View File

@ -6,8 +6,8 @@ import io.neoterm.frontend.preference.DefaultPreference
* @author kiva * @author kiva
*/ */
class Profile { class Profile {
var profileShell = DefaultPreference.loginShell var loginShell = DefaultPreference.loginShell
var profileInitialCommand = DefaultPreference.initialCommand var initialCommand = DefaultPreference.initialCommand
var enableBell = DefaultPreference.enableBell var enableBell = DefaultPreference.enableBell
var enableVibrate = DefaultPreference.enableVibrate var enableVibrate = DefaultPreference.enableVibrate