Am Donnerstag, 2. April 2009 11:28:08 schrieb Pascal Hauck: > > Derjenige, der das dann im SVN einarbeitet, kann das ja dann so > > umsortieren, dass die Gruppierung richtig passt. > > Werde ich machen, danke für die Vorarbeit.
Die Coko ♫|< → ⊲ finde ich noch immer unschön, da man – wo es möglich ist – eine optische Ähnlichkeit erzeugen sollte, zumindest sollten man an dieser Stelle beide Möglichkeiten anbieten. Außerdem müssen wir Cokos wie /⊳ → ⋫ nicht aufnehmen, da sie nur dann funktionieren können, wenn es ein ⊳ auf der Tastatur gibt. Da das aber nicht so ist (und vermutlich nie so sein wird), habe ich solche Definitionen entfernt. Deine andere Definition /♫|> → ⋫ bleibt natürlich – sie wird eh nur von Leuten verwendet, die bereit sind, sich mit den Neo-Cokos zu befassen, und darf darum kompliziert sein. Aus diesem Grund funktionieren deine Cokos wie /⊢ → ⊬ auch nicht, da kein ⊢ erzeugt werden kann. Was du eigentlich meinst ist /♫|- → ⊬, das muss dann aber genau so explizit definiert werden. Diesen Abschnitt habe ich darum noch nicht mit aufgenommen. > Ebenso konnte ich ♫⊥⊥ nicht testen, oder ‐⇒. Das liegt daran, dass du die Cokos falsch definiert hast. Du verwendest die Unicodenummer, Neo verwendet aber wo es möglich ist keysyms. In diesem Falle also nicht <Multi_key> <U22A5> <U22A5>, sondern <Multi_key> <downtack> <downtack>, wobei hier noch zu beachten ist, dass aufgrund eines Fehlers in den keysyms (das liegt aber nicht an Neo) mit downtack das Zeichen ⊥ gemeint ist, was im Unicode »up tack« heißt. Auch an anderen Stellen (z.B. /⇔ → ⇎) ist das ein Grund, warum es bei dir nicht funtkioniert. Waren Definitionen wie ♫// → ∖ Absicht? Ursprünglich hattest du ♫\\ → ∖ vorgeschlagen. Habe deine Definition abgeändert. Definitionen wie ♫|| → ‖, ♫** → ∗ oder ♫wid → ↯ sollten sicher noch einmal überdacht werden, momenten habe ich sie dringelassen. Gruß, Pascal -- GPG-Schlüssel-ID: 0xC237D6DE Fingerabdruck: 14ED FAFD 0273 F505 8FD0 F7B8 E8A0 03EB C237 D6DE
signature.asc
Description: This is a digitally signed message part.
