mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-12-28 00:52:29 +03:00
Normalize dom ids rather than remove
This commit is contained in:
parent
455321c4a8
commit
43419fdef2
@ -161,7 +161,7 @@ class ThemeManager
|
||||
|
||||
# Internal-only:
|
||||
stringToId: (string) ->
|
||||
string.replace(/\\/g, '')
|
||||
string.replace(/\\/g, '/')
|
||||
|
||||
# Internal-only:
|
||||
removeStylesheet: (stylesheetPath) ->
|
||||
|
Loading…
Reference in New Issue
Block a user