github-starred/pgadmin3
2
0
Fork 0
mirror of https://github.com/levinsv/pgadmin3.git synced 2026-05-15 14:15:49 -06:00
Code Issues 6 Projects Packages Wiki Activity Actions

Add help for options pgadmin3opt.Press Ctrl+F1

Browse source
This commit is contained in:
lsv 2026-03-03 10:18:09 +05:00
parent c1b222ee43
commit e54809faf2
3 changed files with 12 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

1
include/utils/misc.h
View file

@ -280,6 +280,7 @@ wxString qtIdent(const wxString &value); // add " if necessary
wxString qtTypeIdent(const wxString &value); // add " if necessary
bool make_identifier(const wxString &strname, wxString &s, wxString &n, bool islower);
wxSize getScreenSizeForPoint(const wxPoint screenPos);
void showHelpHtml(wxWindow *parent, const wxString &htmlHelp,wxPoint screenPos, wxSize size);
#endif