Height adjustment for new Menu bar

Height adjustment for new Menu bar
This commit is contained in:
Alezia Kurdis 2021-01-28 23:59:44 -05:00 committed by GitHub
parent 932142a313
commit c8679375b1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,7 +15,7 @@ const BYTES_PER_MEGABYTE = 1024 * 1024;
const COLLAPSE_EXTRA_INFO = "E";
const EXPAND_EXTRA_INFO = "D";
const FILTER_IN_VIEW_ATTRIBUTE = "pressed";
const WINDOW_NONVARIABLE_HEIGHT = 227;
const WINDOW_NONVARIABLE_HEIGHT = 180;
const EMPTY_ENTITY_ID = "0";
const MAX_LENGTH_RADIUS = 9;
const MINIMUM_COLUMN_WIDTH = 24;