I use OpenSuse Leap, and build Coq-8.5 from sources. But there is no syntax coloring in coqide and in preferences I can't choose Language:
In console output I have only:
(coqide:30790): GLib-GObject-WARNING **: The property GtkWindow:allow-grow is deprecated and shouldn't be used anymore. It will be removed in a future version.
(coqide:30790): GLib-GObject-WARNING **: The property GtkWindow:allow-shrink is deprecated and shouldn't be used anymore. It will be removed in a future version.
Theme directory actions/48 of theme breeze has no size field
Theme directory categories/16 of theme breeze has no size field
Theme directory categories/22 of theme breeze has no size field
Theme directory categories/48 of theme breeze has no size field
Theme directory devices/48 of theme breeze has no size field
Theme directory of theme oxygen has no size field
All libriaries like libgtksourceview I've installed.
Related
I am new to magento 2 and I am making css changes in luma theme on below path.
But after content deployment I lost my css changes.
Please help me in that.
/pub/static/frontend/Magento/luma/en_US/css/styles-m.css
/pub/static/frontend/Magento/luma/en_US/css/styles-l.css
You should not edit/modify files within pub/* or vendor/* directory.
Pub is for deployment and vendor is for default structure, which you
override via your template or custom modules
Instead:
create a new theme inside app/design/frontend/{vendor}/{yourTheme}/.
You can use Blank or Luma theme
You can also create new theme which inherites from Blank (inheritance
is defined within theme.xml). If you are already using some theme
then skip this step.
edit .less within your theme so the changes stay visible and don't
get replaced when clearing the cache or upgrading the system.
Use grunt to compile your .less into deployment files.
You can also setup sourcemaps to pin point your styling within the
theme .less files so you can be more productive.
if you want to override only css file then you don't need to compile it. so follow above steps , change your css and clear the cache. it will worked.
I've read through some guides and watched a YouTube video on how to create a custom theme for OpenCart. After trying various things it still doesn't seem to be working right.
If I go to 'Extensions > Themes > Edit Store' I can switch the theme directory but this doesn't seem right. The question bubble there says changing the theme directory here is only for legacy support of older themes. Current themes should be available through 'System > Settings > Edit Store > General Tab (Select Theme Dropdown).
Why doesn't this seem to work? The new version is supposed to fall back on the default theme if something isn't available but it can't if I change the theme directory. I've even tried simply copying the whole default folder and renaming it.
Opencart 2.3.0 :
Go to Extestions >> Extestions >> Choose the extension type >> Select Themes >> Edit Your themes >> change default theme. See screenshots:
1 : https://postimg.cc/image/ds02xcmbp/
2 : https://postimg.cc/image/bre4q9fk5/
In file <Your project name>/catalog/controller/event/theme.php
replace row 16 from:
$theme = $this->config->get('config_theme');
to:
$theme = $this->config->get($this->config->get('config_theme') . '_directory');
I know it's bit late to answer but it can be helpful to others.
In OpenCart 2.3.0.2 creating a custom theme is little complex , finally i found this doc here which helped me a lot http://undefined.gr/site/2016/10/09/custom-opencart-2-3-0-2-theme/
To start with copy the default folder found in
upload/catalog/view/theme/default
to a new folder in the same directory. Name it “mytheme“.
Then copy the theme_default.php file in
upload/admin/controller/extension/theme
and place it in same directory. Name it “mytheme.php“.
Rename the class to (line 2):
ControllerExtensionThemeMyTheme
+ Replace all “theme_default” text to “mytheme“. Yes there are a lot (197).
Copy the theme_default.tpl in
upload/admin/view/template/extension/theme
and place it in the same directory. Name it “mytheme.tpl“.
Replace all “theme_default” text to “mytheme“. (48)
Copy theme_default.php in
upload/admin/language/en-gb/extension/theme
and place it in the same directory. Name it “mytheme.php“.
Set the new theme’s title in heading_title (line 3) to “My Theme”.
Finally for the thumnail image to show correctly in store settings rename default.png to mytheme.png in
upload/catalog/view/theme/mytheme/image
Now go into your Administration > Extensions > Extensions and select Themes in “Choose the extension type”. You should be seeing your new theme. Install it with the green (+) button and edit it to enable it. Also ensure you set the correct theme directory whilst editing the theme!
Then in System > Settings edit your store to use your new theme.
That should do it. You can now go ahead and start chopping and changing the default theme
I'm building a Magento theme, and the extensions that I've installed so far do not work well with my website. As it seems, some of the plugins are not showing any display on the front-end (others show, but not completely as intended).
In general practice, when building a custom theme and installing extensions, are the extensions installed in the custom theme's directories or in the base or default directories? I haven't yet ruled out the possibility that Magento is unable to find all the proper files because it's looking in the wrong place, and that while it should be looking in the theme files, the files are not there, because they're installed in the base path instead.
I saw something on those lines over here: http://www.collaboration133.com/magento-extensions-not-displaying-on-frontend-after-install/2693/
What's the common standard (as far as directories) for successfully installing a Magento extension? Also, if I need to reinstall it in the custom theme directory, is there a simple way to do this, or must this be done manually? Thanks!
As far as Magento folder structure is concerned, it checks the files in:
<current theme package> --> <current theme folder>
<current theme package> --> <default folder in current theme's package>
base --> default folder
So if the extension has files in suppose default --> default folder and your theme package already has a default folder, then extension files will not be accessible by default.
You need to manually copy those files into your theme.
Im trying to install a theme on magento 1.9. Have copied all files into the correct places.
Under System -> Configuration -> Design -> Themes I have set templates, skin, layout and default all to the theme name.
The problem I think i am having is 'Current package name' It was originally set to 'rwd' and when it is set to this it loads the default 1.9 magento theme. However when i change this to 'default' it loads the magento base theme. If i set the package name to the name of the theme it also loads the base package.
Skin Directory Structure
Design Directory Structure
Did you check your custom design? Access: System > Design
just cross check following configuration with your configuration.
Then clear cache and check.
My understanding of Magento is that you can only have 2 themes loaded at any one time. ( according to the Magento design guide)
Also, that there is two types of themes - default and non-default (i.e. default contain all possible options, non-default override a subset).
All the documentation I've read says that both default and non-default themes are set in the configuration-> section. I don't see how I can have a customised default theme (not called default) and non-default theme at the same time. Do I have to rename my theme to default in order to use non-default themes?
I had the wrong idea.... 3 themes are loaded.
According to the hierarchy, from lowest priority to highest-
default - this theme must be called default. I will be planning on using the magento default theme untouched as this theme. This cannot be currently overwriten.
your custom default theme - specified in configuration->design->theme->default
I will be using the Magento blank theme as base for developing an everyday store theme.
your custom non-default theme - specified in configuration->design->theme->(layout, templates and skin)
I will be using this to create special occasion themes, e.g. Christmas or sale, that will override only a subset of the default theme.
You can start with your own magento custom theme development and also put your name instead of using default or else, and also copy all the templates files and layout XML files and save it in your theme folder. same way repeat the things with the Skin folder also.
Default folder structure
Template and XML files >magento>> app >> design >> front-end ?? base or default >> theme-name
SKIN - CSS and JS files >magento >> skin >> front-end >> base or default >> theme name
now just copy and paste the theme files from above structure and paste it to the same place and just change the name to base or default to you favorite name.
NOw go to admin >> system >> design >> and Add custom magento theme >> here you will see the theme which you have created in folder structure, just select and save the theme and then just delete or refresh the cache and refresh your web page thata all.
Thanks
Magento Development