2014-10-18 05:50:49 -06:00
|
|
|
div#top, div.header, div.contents {
|
2023-05-04 02:55:51 -06:00
|
|
|
margin-left: auto;
|
|
|
|
|
margin-right: auto;
|
|
|
|
|
width: 960px;
|
2014-10-18 05:50:49 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
.footer {
|
2023-05-04 02:55:51 -06:00
|
|
|
display: none;
|
2014-10-18 05:50:49 -06:00
|
|
|
}
|
2023-04-30 13:30:36 -06:00
|
|
|
|
2023-05-12 21:30:11 -06:00
|
|
|
dl.todo dt::before {
|
2023-05-04 02:55:51 -06:00
|
|
|
content: '🚧 ';
|
2023-04-30 13:30:36 -06:00
|
|
|
}
|
2023-05-12 21:30:11 -06:00
|
|
|
|
|
|
|
|
span.todo::before {
|
|
|
|
|
content: '🚧 ';
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Append external links with a distinctive icon */
|
|
|
|
|
a[href^="http://"]::after,
|
|
|
|
|
a[href^="https://"]::after
|
|
|
|
|
{
|
|
|
|
|
content: "";
|
|
|
|
|
width: 11px;
|
|
|
|
|
height: 11px;
|
|
|
|
|
margin-left: 4px;
|
|
|
|
|
/* Bootstrap icon: https://icons.getbootstrap.com/icons/box-arrow-up-right/ */
|
|
|
|
|
background-image: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='16' height='16' fill='currentColor' class='bi bi-box-arrow-up-right' viewBox='0 0 16 16'%3E%3Cpath fill-rule='evenodd' d='M8.636 3.5a.5.5 0 0 0-.5-.5H1.5A1.5 1.5 0 0 0 0 4.5v10A1.5 1.5 0 0 0 1.5 16h10a1.5 1.5 0 0 0 1.5-1.5V7.864a.5.5 0 0 0-1 0V14.5a.5.5 0 0 1-.5.5h-10a.5.5 0 0 1-.5-.5v-10a.5.5 0 0 1 .5-.5h6.636a.5.5 0 0 0 .5-.5z'/%3E%3Cpath fill-rule='evenodd' d='M16 .5a.5.5 0 0 0-.5-.5h-5a.5.5 0 0 0 0 1h3.793L6.146 9.146a.5.5 0 1 0 .708.708L15 1.707V5.5a.5.5 0 0 0 1 0v-5z'/%3E%3C/svg%3E");
|
|
|
|
|
background-position: center;
|
|
|
|
|
background-repeat: no-repeat;
|
|
|
|
|
background-size: contain;
|
|
|
|
|
display: inline-block;
|
|
|
|
|
}
|
Structured log messages with a message registry
Currently there is little structure in the log messages, making
difficult to use them for the following use cases:
- A user looking for help about a log message: the user probably
uses a search engine, thus the results will depend on the proper
indexing of our documentation and the various forums. It relies
only on the wording of the message, which may change with time.
- A user wants to filter the logs resulting of the use of one of the
components of xkbcommon. A typical example would be testing
xkeyboard-config against libxkbcommon. It requires the use of a
pattern (simple words detection or regex). The issue is that the
pattern may become silently out-of-sync with xkbcommon.
A common practice (e.g. in compilers) is to assign unique error codes
to reference theses messages, along with an error index for
documentation.
Thus this commit implements the following features:
- Create a message registry (message-registry.yaml) that defines the
log messages produced by xkbcommon. This is a simple YAML file that
provides, for each message:
- A unique numeric code as a short identifier. It is used in the
output message and thus can be easily be filtered to spot errors
or searched in the internet. It must not change: if the
semantics of message changes, it is better to introduce a new
message for clarity.
- A unique text identifier, meant for two uses:
1. Generate constants dealing with log information in our code
base.
2. Generate human-friendly names for the documentation.
- A type: currently warning or error. Used to prefix the constants
(see hereinabove) and for basic classification in documentation.
- A short description, used as concise and mandatory documentation.
- An optionnal detailed description.
- Optional examples, intended to help the user to fix issues
themself.
- Version of xkbcommon it was added. For old entries this often
unknown, so they will default to 1.0.0.
- Version of xkbcommon it was removed (optional)
No entry should ever be deleted from this index, even if the message
is not used anymore: it ensures we have unique identifiers along the
history of xkbcommon, and that users can refer to the documentation
even for older versions.
- Add the script update-message-registry.py to generate the following
files:
- messages.h: message code enumeration for the messages currently
used in the code base. Currently a private API.
- message.registry.md: the error index documentation page.
- Modify the logging functions to use structured messages. This is a
work in progress.
2023-09-18 10:17:34 -06:00
|
|
|
|
|
|
|
|
/*******************************************************************************
|
|
|
|
|
* Error index
|
|
|
|
|
******************************************************************************/
|
|
|
|
|
|
|
|
|
|
div.example-container {
|
|
|
|
|
display: flex;
|
|
|
|
|
flex-flow: row wrap;
|
|
|
|
|
justify-content: space-between;
|
|
|
|
|
gap: 1em;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.example {
|
|
|
|
|
flex-grow: 1;
|
|
|
|
|
overflow-x: auto;
|
|
|
|
|
margin-top: 1em;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.example-inner {
|
|
|
|
|
height: 100%;
|
|
|
|
|
display: flex;
|
|
|
|
|
flex-direction: column;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
div.example-title {
|
|
|
|
|
padding: 0 0 1em 0;
|
|
|
|
|
font-style: italic;
|
|
|
|
|
}
|
