Re: New face: org-agenda-calendar-timerange

[gautier]

Ihor Radchenko <yantar92@posteo.net> writes:

> <2023-01-01 Sun 10:00>--<2023-01-01 Sun 15:00>
> and
> <2023-01-01 Sun 10:00-15:00>
>
> are equivalent.
>
> I'd say that it will make sense to apply `org-agenda-calendar-event'
> face and `org-agenda-timerange-leaders' to <2023-01-01 Sun 10:00-15:00>
> as well. What do you think about this approach?

So, the current situation is the following:

| Type of entry                                                          
    | Face                      | Use `org-agenda-timerange-leaders' |
|----------------------------------------------------------------------------+---------------------------+------------------------------------|
| simple date: <2023-01-01 Sun>                                          
    | org-agenda-calendar-event | no                                 |
| simple date with hour range: <2023-01-01 Sun 10:00-15:00>              
    | org-agenda-calendar-event | no                                 |
| timerange (same day): <2023-01-01 Sun 10:00>--<2023-01-01 Sun 15:00>   
    | default                   | yes                                |
| timerange (different days): <2023-01-01 Sun 10:00>--<2023-01-18 Wed 
15:00> | default                   | yes                                
|

and you say it would be better like this:

| Type of entry                                                          
    | Face                                      | Use 
`org-agenda-timerange-leaders' |
|----------------------------------------------------------------------------+-------------------------------------------+------------------------------------|
| simple date: <2023-01-01 Sun>                                          
    | org-agenda-calendar-event                 | no                     
            |
| simple date with hour range: <2023-01-01 Sun 10:00-15:00>              
    | org-agenda-calendar-event                 | yes                    
            |
| timerange (same day): <2023-01-01 Sun 10:00>--<2023-01-01 Sun 15:00>   
    | org-agenda-calendar-event                 | yes                    
            |
| timerange (different days): <2023-01-01 Sun 10:00>--<2023-01-18 Wed 
15:00> | new face (org-agenda-calendar-daterange?) | yes                 
               |

Is that correct?

This would be nice. However, this requires more complexes changes. I
don't know if I am capable of preparing such a patch, but I can give it
a try.

By the way, the entries "simple date with hour range" and "timerange (on
the same day)" are also presented differently in the agenda view, the
first ones look like:
  agenda:     10:00-15:00 Test simple date with hour range
while the second ones look like:
  agenda:     10:00 ┄┄┄┄┄ Test timerange (on the same day)

Should this change as well?