如果你是开发者，大部分时间都在代码编辑器、终端、日志、PR、文档、会议和聊天工具之间切换。即使当你…