| 01:01 | <NavidZ> | smaug: Sorry for the ambiguous acronym. I meant device scale factor |
| 02:32 | <Domenic> | Oh, I didn't realize Gecko was going to use rust-url. That'd make two browsers attempting to follow the spec closely; major progress. https://bugzilla.mozilla.org/show_bug.cgi?id=url-oxidation |
| 02:38 | <wanderview> | Domenic: I don't think that is 100% decided... our URL situation is... difficult |
| 02:49 | <Domenic> | Oh :( |
| 06:57 | <annevk> | I think that's the plan from talking to valentin, but rust-url is dated |
| 08:12 | <annevk> | JakeA: https://gist.github.com/inexorabletash/a53c6add9fbc8b9b1191 might of interest btw |
| 08:13 | <JakeA> | annevk: interesting! I wasn't aware of this |
| 08:16 | <annevk> | JakeA: you should probably chat with jsbell when you have the chance, he thought quite a bit about primitives in this area I think |
| 08:18 | <JakeA> | annevk: yeah, the whole proposal came about from a chat I had with him back at the start of the year. I've sent him the proposal, which seems to be way off in the wrong direction, but hey at least it might get things started |
| 10:20 | <nox> | annevk: What do you mean that rust-url is dated? |
| 10:30 | <annevk> | nox: https://github.com/servo/rust-url/issues/163 |
| 18:21 | <wanderview> | annevk: JakeA: a new lock proposal? |
| 19:13 | <Domenic> | annevk: did you want to review https://github.com/whatwg/html/pull/2843, or shall I land it with bz's lgtm? |
| 20:55 | <Domenic> | MikeSmith: you figured out try/except thing it seems? |
| 21:32 | <MikeSmith> | Domenic: yeah, just dropped it |
| 21:33 | <MikeSmith> | thanks for calling me on that |
| 21:33 | <MikeSmith> | it otherwise would have just ended up being unnecessary cruft left around |
| 21:34 | <Domenic> | MikeSmith: did you see my latest on Text vs. File? Happy to make the tweak myself and merge, just want to get your take |
| 21:35 | <MikeSmith> | yeah making the change now, from SearchIndexJsonText back to SearchIndexJsonFile |
| 21:35 | <MikeSmith> | so my answer there is that it’s just a file handle |
| 21:36 | <Domenic> | OK, so the : Text was just a mistake? |
| 21:36 | <MikeSmith> | no, that’s a weird thing of Pascal |
| 21:36 | <MikeSmith> | as far as I have gleaned |
| 21:36 | <MikeSmith> | : Text just means it’s a text file |
| 21:36 | <MikeSmith> | files can have types |
| 21:37 | <Domenic> | Ohhhhh |
| 21:37 | <Domenic> | Welp OK sorry about that |
| 21:37 | <MikeSmith> | yeah, as in data types |
| 21:37 | <MikeSmith> | no it is weird |
| 21:37 | <MikeSmith> | I think you can actually make a file that is type-whatever |
| 21:37 | <MikeSmith> | like Cardinal type |
| 21:38 | <MikeSmith> | and then you can only write Cardinal data to it |
| 21:38 | <MikeSmith> | why you would ever want that I don’t know |
| 21:38 | <MikeSmith> | but otherwise it seems like you always want : Text |
| 21:39 | <MikeSmith> | but anyway I guess Pascal doesn’t use the jargon of “file handle” |
| 21:40 | <MikeSmith> | and it seems from the existing code that Ian has followed a convention of naming the identifiers for those file-handle-like things just *File |
| 21:40 | <MikeSmith> | compared to *Filename for actually filesystem filenames |
| 21:41 | <MikeSmith> | e.g., kIndexFilename = 'index.html' |
| 21:41 | <MikeSmith> | oh |
| 21:41 | <MikeSmith> | even better example: |
| 21:41 | <MikeSmith> | Assign(BugsFile, BugsFilename); |
| 21:52 | <MikeSmith> | w00t merged |
| 21:52 | <MikeSmith> | thanks much Domenic |
| 21:52 | <Domenic> | Thank _you_, it's so great that the TODO of converting that to Wattsi didn't languish |
| 21:52 | <Domenic> | And it'll be nice to get rid of the Python dependency again |
| 21:53 | <MikeSmith> | yeah glad I could help with that |
| 21:54 | <MikeSmith> | and always fun to work on the wattsi code |
| 21:54 | <MikeSmith> | though a bit painful |
| 21:55 | <MikeSmith> | lots of opportunity to learn something new there |
| 21:55 | <Domenic> | Haha yeah I definitely learned things from the code review |
| 21:56 | <MikeSmith> | yeah I remain impressed with Ian’s coding there |
| 21:56 | <MikeSmith> | he should write more code |
| 21:56 | <MikeSmith> | oh |
| 21:56 | <MikeSmith> | well I guess he does now actually |