5 Commits

Author SHA1 Message Date
Eugene Pankov
ab8061ab39
better new profile name handling - fixes #4325 2021-08-02 20:52:39 +02:00
Eugene Pankov
760311ffa0 lint 2021-07-13 23:50:31 +02:00
Eugene Pankov
2f13f3a401 strongly typed partial profiles wip 2021-07-13 23:44:23 +02:00
Eugene Pankov
ca9f11484c move terminal-tab to use .profile 2021-07-13 21:47:06 +02:00
Eugene Pankov
92b34fbc08
new profile system 2021-07-04 12:23:27 +02:00