- Fix misleading display when chaning editor type (#1488104), fix handling ...

alecpl

2011-09-28 14d494fd993a8530e41f65d548dd91e4a86c91b9

1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/sh
JS_DIR=`dirname "$0"`/../program/js
 
if [ ! -d "$JS_DIR" ]; then
    echo "Directory $JS_DIR not found."
    exit 1
fi
 
for fn in app common googiespell list; do
    if [ -r "$JS_DIR/${fn}.js.src" ]; then
        mv "$JS_DIR/${fn}.js.src" "$JS_DIR/${fn}.js"
        echo "Reverted $JS_DIR/${fn}.js"
    fi
done