TeX, LaTeX and Friends

« first day (4359 days earlier) ← previous day next day → last day (581 days later) »

CarLaTeX

5:11 AM

@LaTeXereXeTaL Oh, prof. van Duck is proud of you!

3 hours later…

David Carlisle

7:55 AM

Mar 26, 2012 at 19:37, by David Carlisle

@Canageek moral of the story: never read the documentation, bad things happen

1 hour later…

Joseph Wright

9:21 AM

@DavidCarlisle, @UlrikeFischer github.com/latex3/latex3/tree/unicode-data

@DavidCarlisle, @UlrikeFischer String case folding now works for all of Unicode in pdfTeX; I've got to do the text functions next, plus the various deprecations and renames I feel we need

David Carlisle

@JosephWright diff looks more or less plausible... Looks like you are making good progress:-)

Joseph Wright

@DavidCarlisle Yes, it seems to be working: the text part will be tricky but it's more focussed (changing the string code is harder as it is needed by the kernel for loading, so if you mess that up you can't even test)

Ulrike Fischer

9:36 AM

@JosephWright does it also extend \char_generate for pdflatex to accept larger values?

Paulo Cereda

9:59 AM

Friends, does anyone remember of a package that draws terminal/console windows? I remember seeing this package but cannot recall the name...

Ah, termsim!

Joseph Wright

@UlrikeFischer No: I'm trying to get a more focussed approach such that \char is clearly about character tokens: this is one of the 'to do' to rename some functions

Ulrike Fischer

@JosephWright I don't care much about the name ;-). But it would be nice if one could generate a BOM or a duck without have to resort to bytes or local functions.

David Carlisle

10:49 AM

@UlrikeFischer BOM or: 🦆💣 ?

Ulrike Fischer

@DavidCarlisle it would be bad for dinner to bomb the duck ;-)

mickep

11:18 AM

@UlrikeFischer Blasted duck, supposed to be delicious.

Paulo Cereda

@DavidCarlisle oh no

@mickep oh no

Joseph Wright

@UlrikeFischer Sure, i meant that I'm trying to work through in steps: I will look at this during the process

samcarter

11:49 AM

Q: Inbox improvements: marking notifications as read/unread, and a filtered inbox view

TL;DR: We're planning to make some changes to the inbox in a few weeks. You'll be able to mark individual notifications as read or unread, and to filter the inbox dropdown to show only unread notifications (or show all of them). We're also making some styling changes to make it easier to tell whe...