equal
deleted
inserted
replaced
135 } |
135 } |
136 |
136 |
137 /** |
137 /** |
138 * Fetches the name of the keymap that will be installed/used |
138 * Fetches the name of the keymap that will be installed/used |
139 * by default for this UI. This is implemented to create a |
139 * by default for this UI. This is implemented to create a |
140 * name based upon the classname. The name is the the name |
140 * name based upon the classname. The name is the name |
141 * of the class with the package prefix removed. |
141 * of the class with the package prefix removed. |
142 * |
142 * |
143 * @return the name |
143 * @return the name |
144 */ |
144 */ |
145 protected String getKeymapName() { |
145 protected String getKeymapName() { |