CURED - 2015-10-16

« first day (1373 days earlier) ← previous day next day → last day (3420 days later) »

Normal Human

03:37

Amazing that such a gem stayed open... Can anyone help me with these questions???

Martin Sleziak

Is this "policy" still used?

Jan 6 at 19:09, by Fundamental

An experiment: use the starboard for active requests, unstar when completed.

In connection with that - is it possible to unstar messages from transcript. (Like some questions which are no longer visible in the starboard on the right.)

@MartinSleziak Closed. Unstarred.

BTW what timezone are you in Normal Human? I guess it is evening over there...

8 hours later…

Najib Idrissi

11:23

@MartinSleziak It's possible to unstar messages, click on the downward arrow in the starboard and click "cancel stars".

→ 12 messages moved to Trash

@NormalHuman Do you think your early-warning bot could warn users who use \dfrac, \displaystyle, \limits... in their titles?

Possibly linking to this.

Normal Human

11:43

@MartinSleziak Good idea. I already have a regex for those; will work on adding it to the bot over the weekend.

Oops, I meant to reply to @NajibIdrissi Way too early for me. (Confirming Martin's guess about the timezone.)

Martin Sleziak

12:22

@NajibIdrissi Yes I know about cancelling stars on starboard. (As I did a while ago for my post.)

But on the starboard I only see the last 4 posts. What if I want to unstar some of older posts.

But now I see that I can unstar/unpin from the transcript too. I am not sure why I did not notice that before.

When I find some old post worth unstarring, I will test this.

Although probably from transcript I can unstar only the messages which I starred.

But using "pin this message" and then "cancel stars" in the starboard might work. (If there are not too many pinned messages.)

SmokeDetector