/* /_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/
    charset = utf-8
    LastModified : 2007-02/24

    +++ user ツール +++

    ユーザ管理関係する操作を行なう。


    <-- 動作ブラウザ -->
    未テスト


    <-- 使い方 -->
    user.login()
        ログイン処理を実施する。

    user.logout()
        ログアウト処理を実施する。

    user.preRegister()
        ユーザ情報の仮登録処理を行なう。

    user.register()
        ユーザ情報の本登録処理を行なう。

    user.edit()
        ユーザ情報を取得する。

    user.updata()
        ユーザ情報を更新する。

    /_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/*/
lang.color = new function() {

	// 
    this.color1 = new Array(
        "#include",
        "#define"
    );

	// 太字
    this.color2 = new Array(
        "char",
        "int",
        "long",
        "for",
        "float",
        "short",
        "double",
        "unsigned",
        "void",
        "return"
    );

	// 細字
    this.color3 = new Array(
        "printf",
        "sizeof",
        "srand",
        "rand",
        "time"
    );

	this.comment = new Array(
		"\\/\\/.+",			// 単行コメント
		"[/][*].+?[*][/]"	// 複数行コメント
	);
}