Skip to content

Symbol display in new system #427

@danbalogh

Description

@danbalogh

I'm moving the discussion of symbol display to a new topic from #421 .

Symbol display content

The desired display is as follows, in decreasing order of priority. This summary supersedes all previous discussions of symbol display (point 4 was slightly different in #421 , but otherwise this is the same as before).

  1. display the mapping. This is the preferred display.
  2. if and only if mapping is not available (because no ref on the g, token not found, or no mapping for the token), display the name. This is for symbols for which we chose not to create a mapping equivalent.
  3. if and only if neither mapping nor name are available (because no ref on the g, or token not found), display the content of the <g>. This is the fallback option for cases where somebody did not care to add a reference to the authority file, or when they used an incorrect token.
  4. if and only if neither of the above three are available (because the g is empty), display the default placeholder corresponding to the value of @type. This is the legacy option for symbols encoded according to old rules (or incorrectly). The default placeholders are:
  • symbol (or no explicit @type): * (asterisk)
  • punctuation: . (full stop)
  • connector: § (section sign)
  • ideogram: @ (at sign)

The current display seems to display * whenever neither mapping nor name are available. See the attached screenshot. (I don't seem to have write access to the test folder so instead of the gaiji test file I used one of my own editions as a scratchboard)

Image

Cases where the display is not what is desired have a comment highlighted in yellow.

Symbol display tooltips

I'm happy with the tooltips as they are now. @arlogriffiths , if you want to test them, you can click the link to my scratchboard edition above and see what tooltips show.

Symbol display styling

I'm happy with the angle brackets added when the name of a symbol is displayed, because they are copy-pasteable, so symbol names won't be mistaken for text when the displayed text is copied to another environment.
I have a feeling that we may need to highlight symbols more, perhaps with a background colour. I'm not sure if this is necessary and not sure what would be best, so suggestions are welcome. Two main reasons for this feeling. 1: some of the symbol displays will be very small (e.g. the default placeholder . as well as some of the present mapping characters) and highlighting them may make the end user more aware that they are not just a flyspeck but something that may be worth pointing the mouse at. 2: some of the mapping characters may be mistaken for something else. In particular, mappings for circle symbols are identical or similar to the display of binding holes. This might be eliminated by changing the binding hole display (e.g. to "◌" (U+25CC) Dotted Circle or to "⍜" (U+235C) APL Functional Symbol Circle Underbar)) or, if unavoidable, changing the circle symbol mapping to something else. But other unforeseen resemblances may come up later, so it would probably best to disambiguate symbols in some visible way. Ideas?

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions