Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Introduce a new tool: ninja -t compdb-targets #2497

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Introduce a new tool: ninja -t compdb-targets #2497

wants to merge 2 commits into from

Commits on Oct 13, 2024

  1. Introduce new tool: -t compdb-targets 

    Fixes ninja-build#1544

Co-authored-by: Linkun Chen <[email protected]>
Co-authored-by: csmoe <[email protected]>
Co-authored-by: James Widman <[email protected]>
    @JamesWidman @csmoe
    3 people committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    4e4ec4c View commit details
    Browse the repository at this point in the history

  2. Fix display of labels in a [horizontal] list 

    The introduction of the entry for `compdb-targets` in the `[horizontal]`
labeled list in doc/manual.asciidoc revealed some display issues in the
left column:

First, the web browser would insert a line break in the middle of the
label `compdb-targets`, so that it looked like this:

       compdb-
       targets

We fix this by applying the `white-space: nowrap` attribute to the left
column.

After this is fixed, we see practically no space between the end of the
longest label and the beginning of the text in the second column; we fix
this with the `padding-right` attribute.

Finally, we align all labels to the right side of the column so that
there is a consistent amount of horizontal space between the end of each
label and the beginning of the text in the second column.
    @JamesWidman
    JamesWidman committed Oct 13, 2024
    Configuration menu
    Copy the full SHA
    b785947 View commit details
    Browse the repository at this point in the history