00:58
Brainium_ has quit []
01:01
Moprius_ has quit []
01:10
glennk has quit [Ping timeout: 480 seconds]
01:32
karenw has quit [Ping timeout: 480 seconds]
02:31
tokyo4j_ has joined #wayland
02:37
tokyo4j has quit [Ping timeout: 480 seconds]
02:39
tokyo4j_ is now known as tokyo4j
03:22
sally has quit [Ping timeout: 480 seconds]
03:40
nerdopolis has quit [Ping timeout: 480 seconds]
05:13
glennk has joined #wayland
05:51
leon-anavi has joined #wayland
06:16
Tom^ has joined #wayland
06:22
JEEB has joined #wayland
06:22
sima has joined #wayland
06:29
tzimmermann has joined #wayland
07:23
paulk-bis has quit []
07:23
paulk has joined #wayland
07:39
Tom^ has quit [Remote host closed the connection]
08:00
mvlad has joined #wayland
08:23
sally has joined #wayland
08:29
glennk has quit [Ping timeout: 480 seconds]
08:39
<
zzag >
do you think that we need a new label for the two week review period. or is "in 14 discussion period" fine?
08:39
<
zzag >
realistically, the protocol should not change though
08:39
<
zzag >
we have some feedback, but it should be ideally addressed in v2 or something
08:47
<
jadahl >
the 14 days label seems good enough
08:47
<
jadahl >
yea, feedback should be addressed and either end up in a v2 or directly in staging/
08:53
<
zzag >
I have a question of a far more grave importance: can the tabs be changed to spaces in the xml file? :D
08:54
<
jadahl >
isn't tabs the norm? :o
08:55
<
zzag >
well, it depends... I find myself often accidentally breaking the formatting because the text editor inserts spaces instead of tabs
08:55
<
zzag >
visually, it all looks fine in the text editor
08:56
<
zzag >
until... you look at git diff
08:56
<
zzag >
or even worse when you spot something being fishy in the diff after running git push
08:56
<
jadahl >
I just care about consistency within the repo
08:56
<
zzag >
Agreed, it's a valid concern
08:57
<
jadahl >
$ grep -l " " */*/*xml | wc -l
08:57
<
jadahl >
$ grep -L " " */*/*xml | wc -l
08:57
<
jadahl >
if I got the grep flags right, tabs wins :o
08:58
<
jadahl >
or that was including all the test files
08:59
<
jadahl >
$ grep -L " " {staging,stable,unstable}/*/*xml | wc -l
08:59
<
jadahl >
$ grep -l " " {staging,stable,unstable}/*/*xml | wc -l
08:59
<
jadahl >
with the corret search path, spaces win, both in amount of files and amount of lines
08:59
<
jadahl >
very even though... we've made a mess
09:05
<
zzag >
wayland-protocols repo also has an editorconfig file but it looks like a lot of us don't have text editors that respect it 😀
09:07
<
zzag >
how does `indent_style` interact with `tab_width`?
09:07
<
zzag >
indent_style=space*
09:07
<
jadahl >
I guess that settles it..
09:09
<
emersion >
mixed tabs and spaces is very cursed :o
09:11
glennk has joined #wayland
09:14
rasterman has joined #wayland
09:15
<
zzag >
I installed the editorconfig plugin in my text editor, and it doesn't look like tab_width changes anything. It might be a plugin bug though
09:15
<
zzag >
an editorconfig plugin*
09:17
<
emersion >
some editors don't support mixed tabs and spaces well
09:18
<
emersion >
(ie, this might be a limitation of the editor rather than the plugin)
09:18
<
zzag >
Yeah, it could be
09:50
yrlf has quit [Quit: Ping timeout (120 seconds)]
09:51
yrlf has joined #wayland
10:20
FreeFull has quit []
10:22
kts has joined #wayland
10:23
Tom^ has joined #wayland
10:35
sstiller has joined #wayland
10:41
kts has quit [Ping timeout: 480 seconds]
11:10
kts has joined #wayland
11:16
Moprius has joined #wayland
11:26
yrlf has quit [Quit: Ping timeout (120 seconds)]
11:27
yrlf has joined #wayland
12:43
feaneron has joined #wayland
12:57
nerdopolis has joined #wayland
13:01
andyrtr_ has joined #wayland
13:04
andyrtr has quit [Ping timeout: 480 seconds]
13:05
andyrtr has joined #wayland
13:07
Tom^ has quit [Remote host closed the connection]
13:08
Tom^ has joined #wayland
13:10
andyrtr_ has quit [Ping timeout: 480 seconds]
14:14
karenw has joined #wayland
14:22
kts has quit [Ping timeout: 480 seconds]
14:25
sstiller has quit [Quit: Leaving]
14:31
bodiccea has joined #wayland
14:38
Tom^ has quit [Remote host closed the connection]
14:45
yrlf has quit [Quit: Ping timeout (120 seconds)]
14:45
yrlf has joined #wayland
15:29
tzimmermann has quit [Quit: Leaving]
15:30
mripard_ has quit []
16:00
Tom^ has joined #wayland
16:18
karenw has quit [Ping timeout: 480 seconds]
16:26
kasper93 has quit [Quit: kasper93]
16:26
kasper93 has joined #wayland
16:37
Tom^ has quit [Remote host closed the connection]
16:43
brosna has quit [Remote host closed the connection]
17:53
Brainium has joined #wayland
18:20 ___nick___ has joined #wayland
18:35 ___nick___ has quit []
18:38 ___nick___ has joined #wayland
18:38 ___nick___ has quit []
18:40 ___nick___ has joined #wayland
18:53
feaneron has quit [Ping timeout: 480 seconds]
19:03
MrCooper_ has joined #wayland
19:07
MrCooper has quit [Ping timeout: 480 seconds]
19:13
karenw has joined #wayland
19:39
cyrinux9490 has quit []
19:39
cyrinux9490 has joined #wayland
20:01
leon-anavi has quit [Ping timeout: 480 seconds]
20:01
rasterman has quit [Quit: Gettin' stinky!]
20:02 ___nick___ has quit [Remote host closed the connection]
20:07
mvlad has quit [Remote host closed the connection]
20:16
Calandracas has quit [Remote host closed the connection]
20:19
Calandracas has joined #wayland
20:32
yrlf has quit [Quit: Ping timeout (120 seconds)]
20:32
yrlf has joined #wayland
20:46
yrlf has quit [Quit: Ping timeout (120 seconds)]
20:46
yrlf has joined #wayland
20:58
fangzhoug has joined #wayland
21:00
fangzhoug has quit [Quit: Leaving]
21:01
fangzhoug has joined #wayland
21:01
fangzhoug has quit [Remote host closed the connection]
21:01
fangzhoug has joined #wayland
21:07
sima has quit [Ping timeout: 480 seconds]
21:55
garnacho has quit [Quit: garnacho]
21:55
garnacho has joined #wayland
22:36
yrlf has quit [Quit: Ping timeout (120 seconds)]
22:36
yrlf has joined #wayland
22:53
rasterman has joined #wayland
23:16
feaneron has joined #wayland
23:34
Moprius has quit [Quit: bye]
23:34
Brainium has quit [Quit: Konversation terminated!]
23:41
rasterman has quit [Quit: Gettin' stinky!]