search

martinring / clide2

A language agnostic collaborative cloud IDE
clide.flatmap.net
GNU Lesser General Public License v3.0
19 stars 2 forks source link

Human-Computer Distinction #18

Closed martinring closed 10 years ago

martinring commented 10 years ago

We should introduce a subtle distinction by adding a flag to the userinfo indicating non-human users. This way they could be displayed in two groups to reduce confusion in the UI.