mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-01-24 07:16:52 -06:00
8180403f97
2) Added Dark(Beta) UI Theme option. Fixes #3741. 3) Fix an issue where a black arrow-kind image is displaying at the background of browser tree images. Fixes #4171 Changes include: 1) New theme option in preferences - Miscellaneous -> Themes. You can select the theme from the dropdown. It also has a preview of the theme just below the dropdown. Note that, a page refresh is needed to apply changes. On saving, a dialog appears to ask for refresh. 2) You can create your own theme and submit to hackers. README is updated to help you create a theme. Theme will be available only after the bundle. 3) Correction of SASS variables at few places and few other CSS corrections. 4) Added iconfont-webpack-plugin, which will convert all the SVG files(monochrome) used as icons for buttons to font icons. This will allow us to change the color of the icon by using CSS color property. 5) All the .css files will bundle into a separate file now- pgadmin.style.css. This will help reduce the size of theme CSS files as CSS in .css files will not change with the change of SASS variables.
81 lines
3.4 KiB
HTML
81 lines
3.4 KiB
HTML
<!DOCTYPE html>
|
|
<!--[if lt IE 7]>
|
|
<html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]-->
|
|
<!--[if IE 7]>
|
|
<html class="no-js lt-ie9 lt-ie8"> <![endif]-->
|
|
<!--[if IE 8]>
|
|
<html class="no-js lt-ie9"> <![endif]-->
|
|
<!--[if gt IE 8]><!-->
|
|
<html class="no-js"> <!--<![endif]-->
|
|
<head>
|
|
<meta charset="utf-8">
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
|
|
|
|
<title>{% block title %}{% endblock %}</title>
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
|
|
<!-- To set pgAdmin4 shortcut icon in browser -->
|
|
<link rel="shortcut icon" href="{{ url_for('redirects.favicon') }}"/>
|
|
|
|
<!-- Base template stylesheets -->
|
|
<link type="text/css" rel="stylesheet" href="{{ url_for('static', filename='js/generated/style.css')}}"/>
|
|
<link type="text/css" rel="stylesheet" href="{{ url_for('static', filename='js/generated/pgadmin.style.css')}}"/>
|
|
<link type="text/css" rel="stylesheet" href="{{ url_for('static', filename=('js/generated/'+get_theme_css())) }}"/>
|
|
|
|
<!--View specified stylesheets-->
|
|
{% block css_link %}{% endblock %}
|
|
|
|
<script>
|
|
/* This is used to change publicPath of webpack at runtime */
|
|
window.getChunkURL = function() {
|
|
return "{{ url_for('static', filename='js') }}/generated/";
|
|
};
|
|
</script>
|
|
<!-- Base template scripts -->
|
|
<script type="text/javascript"
|
|
src="{{ url_for('static', filename='vendor/require/require.js' if config.DEBUG else 'vendor/require/require.min.js') }}"></script>
|
|
<script type="text/javascript">
|
|
require.config({
|
|
baseUrl: '',
|
|
{% if config.APP_VERSION_PARAM is not none and config.APP_VERSION_PARAM != '' %}
|
|
urlArgs: '{{config.APP_VERSION_PARAM}}={{config.APP_VERSION_INT}}',
|
|
{% endif %}
|
|
waitSeconds: 0,
|
|
shim: {},
|
|
paths: {
|
|
sources: "{{ url_for('static', filename='js') }}",
|
|
datagrid: "{{ url_for('static', filename='js/generated/datagrid') }}",
|
|
sqleditor: "{{ url_for('static', filename='js/generated/sqleditor') }}",
|
|
'pgadmin.browser.utils': "{{ url_for('browser.index') }}" + "js/utils",
|
|
'pgadmin.browser.endpoints': "{{ url_for('browser.index') }}" + "js/endpoints",
|
|
'pgadmin.browser.messages': "{{ url_for('browser.index') }}" + "js/messages",
|
|
'pgadmin.server.supported_servers': "{{ url_for('browser.index') }}" + "server/supported_servers",
|
|
'pgadmin.user_management.current_user': "{{ url_for('user_management.index') }}" + "current_user",
|
|
'translations': "{{ url_for('tools.index') }}" + "translations"
|
|
}
|
|
});
|
|
|
|
</script>
|
|
|
|
<!-- View specified scripts -->
|
|
<script type="text/javascript" src="{{ url_for('static', filename='js/generated/vendor.main.js') }}" ></script>
|
|
<script type="text/javascript" src="{{ url_for('static', filename='js/generated/vendor.others.js') }}" ></script>
|
|
<script type="text/javascript" src="{{ url_for('static', filename='js/generated/pgadmin_commons.js') }}" ></script>
|
|
|
|
</head>
|
|
<body>
|
|
<!--[if lt IE 7]>
|
|
<p class="browsehappy">You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade
|
|
your browser</a> to improve your experience.</p>
|
|
<![endif]-->
|
|
|
|
{% block body %}{% endblock %}
|
|
<script>
|
|
{% block init_script %}{% endblock %}
|
|
|
|
</script>
|
|
|
|
</body>
|
|
</html>
|