|
|
@ -164,9 +164,9 @@ wid_toggle() {
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
xdotool windowmap "$wid"
|
|
|
|
xdotool windowmap "$wid"
|
|
|
|
float_post_command
|
|
|
|
float_post_command
|
|
|
|
|
|
|
|
maybe_cancel_auto_show "$wid"
|
|
|
|
else
|
|
|
|
else
|
|
|
|
xdotool windowunmap "$wid"
|
|
|
|
xdotool windowunmap "$wid"
|
|
|
|
maybe_cancel_auto_show "$wid"
|
|
|
|
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
else
|
|
|
|
else
|
|
|
|
# make it
|
|
|
|
# make it
|
|
|
@ -205,9 +205,8 @@ auto_show() {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
maybe_cancel_auto_show() {
|
|
|
|
maybe_cancel_auto_show() {
|
|
|
|
auto_hidden_wid=$(< /tmp/tdrop/auto_hidden/wid)
|
|
|
|
if $cancel_auto_show && [[ $1 == "$(< /tmp/tdrop/auto_hidden/wid)" ]]; then
|
|
|
|
if $cancel_auto_show && [[ $1 == "$auto_hidden_wid" ]]; then
|
|
|
|
> /tmp/tdrop/auto_hidden/wid
|
|
|
|
> /tmp/auto_hidden_terminal/wid
|
|
|
|
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|