X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=origdiff;h=e7c712019c6e602e2811a0d93f3e485d2e8b9bed;hp=b4078f1abfcf0ad19a319ca447880d8fa55bcb60;hb=dadba0f24ba2459f70e098788b20b0e4ba96a7d2;hpb=7c1e433be6221f02302397a7d5bcf1e25b949a75

diff --git a/origdiff b/origdiff
index b4078f1a..e7c71201 100755
--- a/origdiff
+++ b/origdiff
@@ -46,7 +46,7 @@ MOZB_LOG=$RUN_DIR/theme-browserwin.$NAME_PRE-$NAME_POST.log
 
 HG_MOZD_DIR=/mnt/mozilla/hg/comm-beta/mozilla
 MOZD_HG_OPTIONS=
-MOZD_DIR="devtools/client/themes/"
+MOZD_DIR="devtools/client/themes/ devtools/client/webide/themes/"
 MOZD_TAG_PRE=$TAG_PRE_MOZ
 MOZD_TAG_POST=$TAG_POST_MOZ
 MOZD_NAME_EXTRA=" (devtools)"