[dev-context] Local settings for frame borders

[Marco]

On 2012-05-23 Aditya Mahajan <adityam at umich.edu> wrote:

Hi Aditya,

> Currently it is not possible to individually set the thickness of
> the different borders of a frame. A typical use-case is
> typesetting a table row where the top frame is double the
> thichness of the bottom frame. Having to resort to metapost for
> something as simple as this is a bit annoying.

ACK

> Attached is a metapost library that defines "local" fences and
> allows you to set border individually.

A typo in your library:

- \def\insall_local_fence_handler#1#2%
+ \def\install_local_fence_handler#1#2%

It makes sense to add the “tight” handler as well. It makes sense
especially when the table header consists of multiple rows and
column spans and is often used.

> Does it make sense to include this (appropriately modified) in the
> core? Or is it better to distribute such enhancements as a user
> module.

If it goes into the core, I'll write the wiki pages.

Aditya, thanks an awful lot for your effort and code for a better
user interface for the typesetting of tables.


Marco Patzer