Добавить кнопку отключения расширения на само расширение
-
@sedative29rus said in Добавить кнопку отключения расширения на само расширение:
Можно использовать расширение для управления расширениями.
Можно. Только зачем тогда в Настройках самого браузера пункт Меню скрытых расширений (который не работает)? Рудимент?
-
@BiOMeX said in Добавить кнопку отключения расширения на само расширение:
@sedative29rus said in Добавить кнопку отключения расширения на само расширение:
Можно использовать расширение для управления расширениями.
Можно. Только зачем тогда в Настройках самого браузера пункт Меню скрытых расширений (который не работает)? Рудимент?
Он работает. Не рудимент, специально сделано в Вивальди.
Это не то меню, о котором вы подумали. -
@sedative29rus said in Добавить кнопку отключения расширения на само расширение:
Это не то меню, о котором вы подумали.
А что это тогда? Я полагал, что при включении данного пункта в Настройках в строке адреса появится возможность управления скрытыми расширениями...
Похоже, что я спутал слова "скрытый" и "отключённый", вот в чём моя ошибка -
@BiOMeX
Меню скрытых:
Без него:
-
@BiOMeX said in Добавить кнопку отключения расширения на само расширение:
А что это тогда?
Поставьте галочку и посмотрите
Можно ещё в справке почитать. -
@kurai said in Добавить кнопку отключения расширения на само расширение:
Можно ещё в
Да. А можно читать цитируемый постинг целиком
-
Еще хорошо-бы к возможности показа/скрытия расширений, добавить возможность Группировки расширений.
Например реализовав группировку через возможность создания пользовательских панелей (или папок).
В настоящее время существует 2-е панели:
1-я панель (являющаяся частью главной панели) отображает показываемые расширения.
2-я панель - скрытые расширения.
Но почему не сделать количество панелей большим?
Например неограниченным.Реализовать это возможно аналогично тому, как реализованы Пространства, и переключение панелей с расширениями с помощью кнопки вызывающий список панелей с расширениями.
Например при выборе нужной панели содержащей расширения с различными VPN-сервисами - расширения с этой панели окажутся расположенными на Главной (Адресной) панели.
Панель же расширений бывших до этого на Главной (Адресной) панели - окажется в списке скрытых панелей.
При большом количестве установленных расширений, возникает задача их упорядочивания: группировки по типам, или по востребованности и т.д.
В моем случае только постоянно активны 20 расширений. Часть из них скрыта.
Остальные используются и постоянно или часто востребованы.Соответственно они занимают много места, и пусть небольшое, но требуется время на то, чтобы найти нужное.
При этом наверняка со временем добавятся новые расширения.
Аналогично работе с Пространствами - Добавление данного функционала упростит и ускорит работу c большим количеством расширений.
-
А также совместно с функцией Включения и Отключения расширений, можно реализовать и профили включающие в себя наборы Включенных и Отключенных расширений.
Например когда при выборе одного профиля, включенными остаются расширения для работы VPN, остальные при этом выключены.
При выборе другого профиля включены расширения VPN, и блокировщики рекламы, остальные расширения выключены.
И т.д.
-
@saay said in Добавить кнопку отключения расширения на само расширение:
можно реализовать и профили включающие в себя наборы Включенных и Отключенных расширений
Такие профили уже реализованы. Функция называется... Профили!
Создайте несколько профилей, настройте в них расширения и переключайтесь между ними на здоровье. -
@kurai said in [Добавить кнопку отключения расширения на само расширение]
Такие профили уже реализованы. Функция называется... Профили!
Создайте несколько профилей, настройте в них расширения и переключайтесь между ними на здоровье.Правильно-ли я понял, что имеются ввиду профили Пользователя?
С возможностью переключения Пользователя на Главной (Адресной) панели?
Еще не пользовался этой возможностью.
Обязательно попробую.Но как понимаю - этот профиль Глобальный Пользователя в Vivaldi т.е. влияющий на все настройки Vivaldi.
В данном же случае использование профиля для очень узкого случая - т.е. только для переключения набора Расширений.
Сейчас попробую
-
@saay said in Добавить кнопку отключения расширения на само расширение:
@kurai said in [Добавить кнопку отключения расширения на само расширение]
Такие профили уже реализованы. Функция называется... Профили!
Создайте несколько профилей, настройте в них расширения и переключайтесь между ними на здоровье.Правильно-ли я понял, что имеются ввиду профили Пользователя?
С возможностью переключения Пользователя на Главной панели?
Еще не пользовался этой возможностью.
Обязательно попробую.Но как понимаю - этот профиль Глобальный Пользователя в Vivaldi т.е. влияющий на все настройки Vivaldi.
В данном же случае использование профиля для очень узкого случая - т.е. только для переключения набора Расширений.
Сейчас попробую
Да, вы всё правильно поняли. Можно создать два одинаковых профиля, скопировав папку Default и переименовав её в Profile1. Тогда оба профиля будут идентичны, в них просто подключите/отключите нужные вам расширения.
-
Попробовал добавить Профиль.
Очень нужная и полезная функция.
Но все-таки этот вариант ориентирован на более серьезные задачи, такие как использование браузера несколькими пользователями, или для нескольких вариантов настроек Vivaldi.
При выборе другого пользователя открывается новое окно.
В данном случае мне кажется будет избыточным использовать эту возможность.
А по сути хотелось-бы опять-же Менеджер - на этот раз для Расширений
Учитывая их огромный выбор, и нередко большое количество установленных расширений, думаю, что наличие Менеджера Расширений - оправдано.
-
@saay said in Добавить кнопку отключения расширения на само расширение:
А по сути хотелось-бы опять-же Менеджер - на этот раз для Расширений
Добавьте vivaldi://extensions/ в боковую панель и получите менеджер расширений. Два клика - и нужное вам расширение отключено
-
@kurai said in Добавить кнопку отключения расширения на само расширение:
@saay said in Добавить кнопку отключения расширения на само расширение:
А по сути хотелось-бы опять-же Менеджер - на этот раз для Расширений
Добавьте vivaldi://extensions/ в боковую панель и получите менеджер расширений. Два клика - и нужное вам расширение отключено
Так и сделал
Это очень удобно.Немного раньше прочитал об этом, в обсуждении на форуме.
Но профили включенных/отключенных расширений будут еще удобнее, потому, что они позволят более гибко использовать настройки.
Сейчас надо заходить в extensions, и искать нужные расширения для отключения или включения.
Если это происходит нечасто, то это ничего.
А если приходится это делать достаточно часто, то это уже ощутимое время.В моем случае уже очень хорошо разбухла Адресная панель от большого количества расширений. Немало их и в Скрытой панели.
Поэтому все-таки хотелось-бы Менеджер:
-
С Основной функцией данной Темы - Предложенной возможностью включения/отключения расширений.
-
Еще с Созданием профилей для Включенных Расширений. При этом Профиль позволит включать/отключать группы расширений сразу на разных Панелях.
-
А также с возможностью создания Панелей, для сортировки Расширений. Такие панели дополнят собой Скрытую панель, то есть будет множество таких панелей.
И конечно возможность Удаления расширения, которая уже реализована.
Тогда взаимодействие с расширениями будет очень похоже на взаимодействие с Пространствами.
-
-
@kurai said in Добавить кнопку отключения расширения на само расширение:
Да, вы всё правильно поняли. Можно создать два одинаковых профиля, скопировав папку Default и переименовав её в Profile1. Тогда оба профиля будут идентичны, в них просто подключите/отключите нужные вам расширения.
Спасибо - очень даже пригодится.
Уже стал использовать, в комплексе с другими настройками.
-
This post is deleted!