Re: color preferences missing in settings

2018-01-08 Thread Matthias Wirtz
On 08.01.2018 10:30, Dave Page wrote: On Mon, Jan 8, 2018 at 9:24 AM, Khushboo Vashi > wrote: On Mon, Jan 8, 2018 at 1:54 AM, Matthias Wirtz mailto:matthias.wi...@gmx.net>> wrote: Hello, in the docu it says: “Use th

Re: color preferences missing in settings

2018-01-08 Thread Dave Page
On Mon, Jan 8, 2018 at 9:44 AM, Khushboo Vashi < khushboo.va...@enterprisedb.com> wrote: > > > On Mon, Jan 8, 2018 at 3:09 PM, Dave Page wrote: > >> >> >> On Mon, Jan 8, 2018 at 9:37 AM, Khushboo Vashi < >> khushboo.va...@enterprisedb.com> wrote: >> >>> >>> >>> On Mon, Jan 8, 2018 at 3:00 PM, Dav

Re: color preferences missing in settings

2018-01-08 Thread Khushboo Vashi
On Mon, Jan 8, 2018 at 3:09 PM, Dave Page wrote: > > > On Mon, Jan 8, 2018 at 9:37 AM, Khushboo Vashi < > khushboo.va...@enterprisedb.com> wrote: > >> >> >> On Mon, Jan 8, 2018 at 3:00 PM, Dave Page wrote: >> >>> >>> >>> On Mon, Jan 8, 2018 at 9:24 AM, Khushboo Vashi < >>> khushboo.va...@enterpr

Re: color preferences missing in settings

2018-01-08 Thread Dave Page
On Mon, Jan 8, 2018 at 9:37 AM, Khushboo Vashi < khushboo.va...@enterprisedb.com> wrote: > > > On Mon, Jan 8, 2018 at 3:00 PM, Dave Page wrote: > >> >> >> On Mon, Jan 8, 2018 at 9:24 AM, Khushboo Vashi < >> khushboo.va...@enterprisedb.com> wrote: >> >>> >>> >>> On Mon, Jan 8, 2018 at 1:54 AM, Mat

Re: color preferences missing in settings

2018-01-08 Thread Khushboo Vashi
On Mon, Jan 8, 2018 at 3:00 PM, Dave Page wrote: > > > On Mon, Jan 8, 2018 at 9:24 AM, Khushboo Vashi < > khushboo.va...@enterprisedb.com> wrote: > >> >> >> On Mon, Jan 8, 2018 at 1:54 AM, Matthias Wirtz >> wrote: >> >>> Hello, >>> >>> in the docu it says: >>> >>> “Use the Preferences dialog to

Re: color preferences missing in settings

2018-01-08 Thread Dave Page
On Mon, Jan 8, 2018 at 9:24 AM, Khushboo Vashi < khushboo.va...@enterprisedb.com> wrote: > > > On Mon, Jan 8, 2018 at 1:54 AM, Matthias Wirtz > wrote: > >> Hello, >> >> in the docu it says: >> >> “Use the Preferences dialog to customize the content and colors of the >> pgAdmin display. To open th

Re: color preferences missing in settings

2018-01-08 Thread Khushboo Vashi
On Mon, Jan 8, 2018 at 1:54 AM, Matthias Wirtz wrote: > 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

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