Re: color preferences missing in settings

2018-01-07 Thread Khushboo Vashi
On Mon, Jan 8, 2018 at 11:20 AM, Murtuza Zabuawala < murtuza.zabuaw...@enterprisedb.com> wrote: > Where do you see that? > > I don't fine any reference in pgAdmin4 code repo. > murtuza@debian:~/projects/pgadmin4/docs$ grep -nr 'Use the Preferences' * > murtuza@debian:~/projects/pgadmin4/docs$ grep

Re: color preferences missing in settings

2018-01-07 Thread Murtuza Zabuawala
Where do you see that? I don't fine any reference in pgAdmin4 code repo. murtuza@debian:~/projects/pgadmin4/docs$ grep -nr 'Use the Preferences' * murtuza@debian:~/projects/pgadmin4/docs$ grep -nr 'To open the Preferences dialog' * murtuza@debian:~/projects/pgadmin4/docs$ -- ​ Murtuza On Mon, J

color preferences missing in settings

2018-01-07 Thread Matthias Wirtz
Hello, in the docu it says: “Use the Preferences dialog to customize the content and colors of the pgAdmin display. To open the Preferences dialog, select Preferences from the File menu.” But in the preferences dialog I can’t find any color settings. Neither for text colors nor background color