Jonathan Protzenko

No UI for when the subject changes during a thread

5

We currently don't inform the user if a subject changed during a thread. I have no good idea on how to show that in the conversation view. Maybe "split" the...

Override the date column to make it show the date of the latest message

3

We could either patch Thunderbird to add an option in nsMsgDbView.cpp or just add another custom column just like we do for the "between" column. David :bienvenu says we keep...

Return receipts are not handled

4

Workaround is to hit more > view message using standard reader.

Prevent the context menu from filling too much

1

Ideally, right-clicking on the conversation should not pop up so many items...

Right now the compiler makes it possible to generate invalid F* code, because some valid identifiers in hacspec (e.g. `open`) are keywords in F*, which then results in invalid code...

Feature request: syntactic sugar for Variant + Constructor

7

This is getting a little verbose: ``` declaration structure Foo: data f₁ content t₁ ... declaration structure Bar: data g₁ content u₁ declaration enumeration Baz: -- Foo content Foo --...

Feature debate: range patterns

1

It would be convenient to do: ``` match e₁ with pattern -- Cons1 .. Cons2: e₂ ``` where the pattern matches any constructors present in the enumeration declaration between `Cons1`...

Inserted images don't survive copy/paste. Works on Linux.

Try to sort other views

6

See what we can do with other views (smart folders) to enable somehow a way to sort them.