[console] (3 commits) ...terminal: bind to a settings object



Summary of changes:

  692401e... tab: use {binding,signal} groups (*)
  1fcad8a... pages: drop settings properties (*)
  d835a8a... terminal: bind to a settings object (*)

(*) This commit already existed in another branch; no separate mail sent


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]