$(colour.embedded.js ) in what properties file?

[mronpay]

In html.properties file , I found the property "$(colour.embedded.js
)" be used , I don't know the property "$(colour.embedded.js )" define
in what properties file ?

[Philippe Lhoste]

A quick, generically useful tip:
in SciTE, with html.properties file opened, hit Ctrl+Shift+F (Find in
files).
Type embedded in the first field, *.properties in the second one, the
third one points to the directory where your property files are stored.
(BTW, an option to put the same extension as the current file in this
dialog would be very useful... if somebody has time to code that! ;))

Hit return and see the results, appearing in a number of files.
The right one, where it is defined, is SciTEGlobal.properties
Change the property in the user file.

--
Philippe Lhoste
-- (near) Paris -- France
-- http://Phi.Lho.free.fr
-- -- -- -- -- -- -- -- -- -- -- -- -- --