src/Tools/jEdit/src/keymap_merge.scala

     (property.endsWith(".shortcut") || property.endsWith(".shortcut2")) &&
     !property.startsWith("options.shortcuts.")
 
   class Shortcut(val property: String, val binding: String)
   {
-    override def toString: String = property + "=" + binding
+    override def toString: String = Properties.Eq(property -> binding)
 
     def primary: Boolean = property.endsWith(".shortcut")
 
     val action: String =
       Library.try_unsuffix(".shortcut", property) orElse