Browse Source

removed empty line

Gildas 5 years ago
parent
commit
dd34e0bf90
1 changed files with 0 additions and 1 deletions
  1. 0 1
      extension/ui/content/content-ui-editor-web.js

+ 0 - 1
extension/ui/content/content-ui-editor-web.js

@@ -1275,7 +1275,6 @@ table {
 						}
 						}
 					}
 					}
 				}
 				}
-
 				event.preventDefault();
 				event.preventDefault();
 			}
 			}
 			if (event.code == "Space") {
 			if (event.code == "Space") {