Android导航栏高度（当前/修改高度，而不仅仅是默认高度）

Question

我正在将我的应用程序转换为KitKat设备（半透明导航栏/状态栏），但我遇到了一个小问题。我可以使用以下代码获取导航栏的默认高度：

int resourceId = getResources().getIdentifier("navigation_bar_height", 
                                              "dimen", 
                                              "android");
int navigationBarHeight = getResources().getDimensionPixelSize(resourceId);

但是，如果用户使用带控件的GravityBox（或隐藏/调整导航栏大小的其他ROM），我仍然可以获得原始导航栏的相同默认高度。有没有办法动态获取导航栏的高度？即，我希望能够获得导航栏的当前高度（特别是如果它被隐藏/调整大小），而不仅仅是默认的导航栏大小。谢谢！

作为替代选项，有没有办法检测导航栏是否/何时被隐藏？