diff options
author | Dan Gudmundsson <dgud@erlang.org> | 2013-10-22 13:37:03 +0200 |
---|---|---|
committer | Dan Gudmundsson <dgud@erlang.org> | 2014-01-27 16:13:57 +0100 |
commit | bfae535d4ac51d2c3bef146e0f058e105bb5e956 (patch) | |
tree | eaafe6c61f5fca58ca05b232f280e911f04dcdb7 /lib/observer/src/observer_defs.hrl | |
parent | 41380c0ff6c4fb56aad5702b9d9554ae36580063 (diff) | |
download | otp-bfae535d4ac51d2c3bef146e0f058e105bb5e956.tar.gz otp-bfae535d4ac51d2c3bef146e0f058e105bb5e956.tar.bz2 otp-bfae535d4ac51d2c3bef146e0f058e105bb5e956.zip |
observer: Optimize row lookups
Use arrays instead of lists to cache data, gives faster lookups for
large contents.
Also update colors used in table viewer, indication new and changed rows.
Other minor bugfixes in tables viewer.
Diffstat (limited to 'lib/observer/src/observer_defs.hrl')
-rw-r--r-- | lib/observer/src/observer_defs.hrl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/observer/src/observer_defs.hrl b/lib/observer/src/observer_defs.hrl index 586e7bbff9..a720e8c833 100644 --- a/lib/observer/src/observer_defs.hrl +++ b/lib/observer/src/observer_defs.hrl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2011. All Rights Reserved. +%% Copyright Ericsson AB 2011-2013. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -35,13 +35,14 @@ check = false }). --record(attrs, {even, odd, deleted, changed, searched}). +-record(attrs, {even, odd, searched, deleted, changed_odd, changed_even, new_odd, new_even}). -define(EVEN(Row), ((Row rem 2) =:= 0)). -define(BG_EVEN, {230,230,250}). -define(BG_ODD, {255,255,255}). -define(BG_DELETED, {100,100,100}). --define(FG_DELETED, {240,30,30}). +-define(FG_DELETED, {230,230,230}). -define(BG_SEARCHED,{235,215,90}). --define(BG_CHANGED, {230,230,250}). +-define(BG_CHANGED, {184,207,184}). +-define(BG_NEW, {123,168,123}). -define(LCTRL_WDECR, 4). %% Remove some pixels in column width to avoid creating unnecessary scrollbar |