探検


Opera12(Presto) Part9

■ このスレッドは過去ログ倉庫に格納されています
1名無しさん@お腹いっぱい。
垢版 |
2019/07/04(木) 21:01:03.94ID:ZFINKMwC0
より優れたブラウジング―― Opera12.18

ここは旧版Operaブラウザのスレッドです。
OperaVer12は高機能でありながら軽量で使い勝手も良く今でも愛用者がいます。
但し開発は停まっており新機能のページは表示出来ずセキュリティリスクなど使用は自己責任となります。

■公式サイト
Opera Software - http://www.opera.com/

■Operaまとめwiki
http://web.archive.org/web/20140722003015/http://ja.opera-wiki.com/%E3%83%A1%E3%82%A4%E3%83%B3%E3%83%9A%E3%83%BC%E3%82%B8

■Opera 12.18
http://www.opera.com/download/guide/?os=windows&;ver=12.18
http://ftp.opera.com/pub/opera/win/1218/int/Opera_1218_int_Setup.exe
http://ftp.opera.com/pub/opera/win/1218/int/Opera_1218_int_Setup_x64.exe

■Operaブラウザスレッド Part220 (最新版)
https://egg.5ch.net/test/read.cgi/software/1493713759/l50

■Vivaldi Part22【Presto版Opera後継ブラウザ】
https://egg.5ch.net/test/read.cgi/software/1496204368/l50
2019/11/11(月) 13:57:51.29ID:VwEDTBlG0
youtubeなどでhtml5プレーヤーを自動再生させたくないので
Flash Blockのようなuserscript探してるんだけど、何処かにないかなー
Violentmonkey入れてるのでgreasy forkで調べたけどそういうの見つけられなかったよOTZ
2019/11/12(火) 18:15:34.41ID:dYpOfo1Q0
OPERAの
RSS機能に依存してるから変えられないのが悩み
2019/11/13(水) 07:21:33.69ID:8v2fKBoJ0
GStreamerってどうしたらプラグイン認識されんだろ?
136名無しさん@お腹いっぱい。
垢版 |
2019/11/17(日) 01:04:13.68ID:A3/rjUtY0
rss使ってる奴いるのか
2019/11/17(日) 13:05:14.84ID:wbruzw6C0
operaのニュースリーダー便利じゃない?
これがなけりゃ移ってるかもってくらい使ってるよ
2019/11/18(月) 19:56:10.21ID:X/z2UR5B0
>>137
同じくRSS有能
2019/11/21(木) 22:23:44.83ID:COFC6MJs0
googleはUAがIEだと簡略版に飛ばされることが増えてきたな
2019/11/24(日) 10:39:47.85ID:eoMKTtZH0
サイト毎の設定編集でUAをIEにしてもggページに変化が起きなかった
override.iniでggでのUAをEdgeにしてたんだった…結構前にやったことなので忘れていたよ(´Д`;)
2019/11/24(日) 12:30:13.96ID:7cYhzCrS0
そういうとこは便利なようで不便だったな
一本化できてないというか
もうちょっとどうにかできなかったものか
2019/11/24(日) 23:13:45.59ID:U+TzzmGo0
UAをchromeにしてもダメだわ……
2019/11/25(月) 08:33:16.48ID:zp/AIb1M0
以前のレイアウト好きだったんだけどなぁ
2019/11/25(月) 09:46:45.01ID:oTSUPLYt0
UAを火狐にしてッぽくは戻せたが、自分の状態だとキャッシュリンクの▼が迷子に…アドレス横のそれっぽい位置クリックで出るけど
画像検索の方はプレビューが新タブで出さないと出てくれないが、元々中クリックしか押してなかったから、そこはまぁ
2019/11/25(月) 21:37:28.54ID:0S2TYqEB0
RSS/ニュースリーダー機能めっちゃ使ってるけど
最近はJavaScriptオフで問題ないページ以外は右クリックメニューに追加した別ブラウザに飛ばしちゃってるわ

まだまだOpera12使い続けるわ
2019/11/25(月) 22:17:00.89ID:eEGN8Jyo0
>>145
確かに、真っ白になるとか見たいけど見れないページは別ブラウザで開くことが多くなってきたなー
動画も外部プレーヤーでも見れない時は別ブラウザに渡すしかない

オレも同じく右クリからの操作が最強なOpera12を手放すことは出来ない
2019/11/25(月) 22:55:22.14ID:cWKjRkju0
>>145
どこにどう書き込むか教えてくれ
クロムに飛ばしたい
2019/11/26(火) 19:18:58.07ID:ehNQtyqc0
>>147
前スレとか過去スレ見ればその答え見つかると思うよ
2019/11/27(水) 07:37:41.04ID:eBQI98Ri0
もう右クリからURL渡すよりタブとか鍵マークをドラッグだわ
リンクも掴んでポイっと
150名無しさん@お腹いっぱい。
垢版 |
2019/11/28(木) 06:45:06.10ID:g/YVyeay0
>>147
ui → standard_menu

[Link Popup Menu]
Item, "Firefox" =Execute program,"C:/Program Files/Mozilla Firefox/firefox.exe","%l"
2019/11/28(木) 09:10:00.33ID:MfaB99np0
>>150
横からだけどありがたい
これでprestoは後10年戦える
2019/11/28(木) 09:15:10.61ID:CjRdgCdM0
それ言ってから数ヶ月もしない内に敗戦したんだけどな
2019/11/28(木) 12:37:21.78ID:7duCc8BY0
>>150だけじゃ戦力不足
前スレ行って戦力増強した方が良い
2019/11/28(木) 22:58:27.44ID:WJ965qjn0
>>148
>>150
ありがとう、やってみる!
2019/11/28(木) 23:14:45.06ID:WJ965qjn0
>>150
できた、感謝
2019/11/29(金) 23:59:54.74ID:4Y/YXKNS0
色んな所の右クリックメニューに登録して使ってると他のブラウザに移れなくなるぞ
ほどほどにしとけよ、マジで他ブラウザ使ってるとイライラしてしまうからな
2019/11/30(土) 20:03:53.62ID:cJT+DACx0
実際右クリックカスタマイズできるブラウザって他にある?
2019/11/30(土) 20:34:51.91ID:OMhMjHrc0
いくらでも
159名無しさん@お腹いっぱい。
垢版 |
2019/11/30(土) 22:04:23.64ID:hIWwAjza0
もうFirefoxに乗り換えろよ
2019/11/30(土) 22:13:37.63ID:OMhMjHrc0
狐も水と火で分裂してんだけどな
こだわりだすときりがない、こういうのは
161名無しさん@お腹いっぱい。
垢版 |
2019/12/01(日) 23:07:43.78ID:EG1qq76G0
>>157
Prestoのカスタマイズは
項目を削除するとか順番を変えるとかのレベルより
一段高いカスタマイズだからな
他のブラウザでExecute programしようと思ったら一苦労

Firefoxに移行する準備をちょっとずつやってるけど
youtubeリンクを動画プレイヤー(CherryPlayer)で開くなんて絶望的だよ
2019/12/02(月) 00:50:35.48ID:BcbJwOaP0
>>161
そうなのか知らなかった
『一苦労』というからには方法が有るんだろうけど、何らかの拡張を導入して…と簡単には行かないみたいだね
自分はEdgeで開くことが多いけど、やっぱ右クリメニュー拡張って難しいんだろな
まあ有ったとしても使い慣れたprestoは右クリメニュー以外にボタンやショートカットの拡張が素晴らしくて他へは移行できないんだなあ
2019/12/02(月) 04:14:43.52ID:Avkzj+dd0
グーグルがoperaを買うべきだった
2019/12/04(水) 20:53:14.40ID:zkRUD3Yw0
>>161
一苦労って事はできなくないのか
今似た状況で項目を削除して放置してるw
その点oeraは>>150の見ただけで応用利くから楽だった
2019/12/06(金) 03:15:01.04ID:hUX26NK50
GStreamerってどうしたらプラグイン認識されんだろ?
2019/12/09(月) 06:21:08.33ID:qhn+RYVz0
まあいいべ
prestoは最良ブラウザなんだよ
手放せない絶対的なブラウザなんだよぉ・・・・・
2019/12/09(月) 10:11:32.31ID:KiuctLN10
Chromiumは沢山タブ開くと急にクラッシュするけどprestoは駄目サイト以外はクラッシュしない圧倒的な軽快安定性
クラッシュするサイト別ブラで開くと大抵無駄に新機能使ってる俺すげーだったり広告のせいだったりのクソサイト
新機能や広告ってセキュリティホールあるから嫌
出たばっかのバグも穴も潰せてないアルファ機能すぐ使いたがる奴ウザい
2019/12/09(月) 14:53:25.38ID:/5B2jW870
さすがに鼻で笑うしかない言い分
2019/12/09(月) 16:47:46.08ID:SCbQZ4Bz0
皆、今どのOSで使ってるの?

遅れ馳せながら、W10のPCを買ってOpera入れたんだけど、落ちまくり
(おなじみ、レポートを送信しますか?って、あの画面が出まくり)

で、互換性のトラブルシューティングとやらも出てきて
W10様から、互換モードのW7で使いなさいとのありがたいご指示
それでだいぶましになったけど…

ちなみに、旧機からは設定ファイルは移動させてないよ
(お気に入りだけ移動させたかな)
2019/12/09(月) 16:56:12.48ID:lh+juYQP0
>>168
ぶひひひひってかw
171名無しさん@お腹いっぱい。
垢版 |
2019/12/09(月) 23:47:02.60ID:rxAxgf4F0
使いやすいrss,軽快なのは間違いないけどようつべとかいじらないと見れないのが痛い
2019/12/10(火) 12:02:40.92ID:DmwQVf+D0
googleの仕様変わった?
そのせいかcssが効かなくて、動画検索に特に役立つフィルターを左端に表示させてたのが消えてしまったよ
それだけなら良いんだが、フィルターの表示/非表示を切り替える[ツール]ボタンも機能しないので
フィルターが全く使えなくなってしまった
オレ環だけかもしれんけど…

>>169
win10 pro 1909 64bit
ここ最近(1か月以内)は表示しようとすると落ちるサイトが多くなってきた気がする
が、人によって入れてる拡張やuserjsなど色々と違うからあくまでも個人的感想なんだけども
173名無しさん@お腹いっぱい。
垢版 |
2019/12/11(水) 14:12:52.22ID:6M8ywxuf0
いつまでも開発終了したブラウザ使ってるほうが悪いんだよなあ・・・
ウェブ制作者のせいにするのはおかしい
2019/12/11(水) 14:28:54.98ID:9CwZU4Eo0
ただ上の命令に従って糞仕様に合わせる社畜なんか相手にもならない
2019/12/11(水) 15:04:31.25ID:EcjiFbS70
君たちなんで旧型OPERAだ使ってんの?知りたい

1.RSSが超便利。
2.タブが重なる
3.メモが超簡単に保存でき呼び出せる。IDなどコピーにも便利
4.ズームが右下ですぐできる
2019/12/11(水) 15:19:44.18ID:+GOpaqoc0
RSS手放せない
タブ増やしてもプロセス増えない
マウスジェスチャーのレスポンスがいい
スピードダイヤル便利

こんな感じ
2019/12/11(水) 15:56:51.94ID:j/EOQEPb0
戻る進むが一瞬
だったんだけどなんかいちいち再読み込みし直すサイト増えやがったからなぁ…
2019/12/11(水) 16:39:34.77ID:W/r0j0Sn0
>>176
保護タブして他を全て一括で閉じたり、閉じるでタスクトレイに入れたり、終了しても次回起動時に前回タブ全部保持etc便利だよな
タブ増やしてもプロセス増えないもChromium他と違ってクラッシュしない要因の1つだし

>>177
ページの更新をサーバーに確認するを弄ればどうにかなったりしないかな
2019/12/11(水) 16:40:00.49ID:W/r0j0Sn0
ページの更新をサーバーに確認するタイミングだ
2019/12/11(水) 18:56:35.51ID:OW3WuWEw0
PCのスペック的にこれ以外のブラウザは重い
2019/12/11(水) 21:45:23.73ID:RqXJgpDi0
>>175
ズームはテンキーでしょ
2019/12/12(木) 07:53:53.56ID:OFff6GrF0
>178
>ページの更新〜
アカンのよねーもうインスコ当初からそこは”チェックしない”にしててそれだからな
JSも切った状態なのに全く、一体何が原因なんだかね
2019/12/12(木) 08:44:47.69ID:V0qkf2Jo0
>>182
リロードスクリプトが動いてるとかじゃね
それ読み込まないようにすれば行けるかも
2019/12/12(木) 19:54:03.79ID:OFff6GrF0
ん?JS切っててもリロードスクリプトってのは動くん?
2019/12/13(金) 07:21:39.61ID:OCiTNRyr0
まだまだWindows7も現役で使います。
XP使ってるとこもあるよ。
10年前のPC?
バリバリ現役だわ。
2019/12/13(金) 13:03:16.21ID:Z7C30s2f0
>>185
むしろ昔のPCの方が、このブラウザはサクサク動くような気がする
Windows10ではもっさり感を感じる
PCのスペックは格段に上がってるはずなのに
(あくまで個人の環境です)
2019/12/13(金) 18:15:59.36ID:BhJgWimm0
Opera 12の利点といえば、NPAPIプラグインが使えるのがうれしいところ。
2019/12/13(金) 18:16:46.95ID:wflkOs/x0
>>186
dllインジェクションでもされてんじゃねw
2019/12/14(土) 10:54:02.64ID:czUbXUho0
設定変えて何度OKしてもファイルバグってんのかキャンセルと同じように巻戻るんだけどどうすれば直る?
2019/12/14(土) 14:01:54.89ID:+2BRUg/A0
別のブラウザ使え
2019/12/14(土) 14:09:02.28ID:1OOOWMBH0
一度アンインストールしろ
2019/12/14(土) 23:51:31.74ID:gmkqAU/90
設定ファイルが読み込み専用とかじゃね

RSSもメールも認証情報もOperaに膨大に溜まってて移しようがないわ
あとはShift+矢印での空間ナビゲーションとか
コンテンツブロックの手軽さとか
2019/12/15(日) 02:20:14.21ID:iT2Gn6890
operaって標準でコンテキストメニュー使えるのは良いんだわ(iniファイル直接編集必要だけども)
単純に開いてるページだけじゃなくリンク先ページ開けるのはもちろん
文字列選択でも開くこと出来るってのは他ブラウザには無い機能かもしれん

リンク先へアクセスするとクラッシュしたり白紙ページになったりで他ブラウザで開く場面も多くなったけど
こいつからはなかなか他へは移動できない
2019/12/17(火) 20:05:29.13ID:feE58fT80
うぃきぺぢあが
2019/12/17(火) 21:19:08.61ID:qfjdWQ/v0
なんだよ
どうしたよ
とちゅうできらずにちゃんといえよ
2019/12/19(木) 07:23:00.75ID:i+PY2u9i0
GStreamerってどうしたらプラグイン認識されんだろ?
2019/12/20(金) 00:39:59.50ID:3sjlgJrK0
よくわからんからとりあえずまとめておきますね

19 名前:名無しさん@お腹いっぱい。[sage] 投稿日:2019/08/07(水) 23:26:55.40 ID:sXk2OBwf0
GStreamerってどうしたらプラグイン認識されんだろ?
102 名前:名無しさん@お腹いっぱい。[sage] 投稿日:2019/10/10(木) 23:00:11.73 ID:heXaHFja0
GStreamerってどうしたらプラグイン認識されんだろ?
121 名前:名無しさん@お腹いっぱい。[sage] 投稿日:2019/10/21(月) 19:55:30.92 ID:DtnkeU5f0
GStreamerってどうしたらプラグイン認識されんだろ?
135 名前:名無しさん@お腹いっぱい。[sage] 投稿日:2019/11/13(水) 07:21:33.69 ID:8v2fKBoJ0
GStreamerってどうしたらプラグイン認識されんだろ?
165 名前:名無しさん@お腹いっぱい。[sage] 投稿日:2019/12/06(金) 03:15:01.04 ID:hUX26NK50
GStreamerってどうしたらプラグイン認識されんだろ?
2019/12/20(金) 05:34:37.70ID:ZpVVTsHO0
GStreamerってどうしたらプラグイン認識されんだろ?
2019/12/20(金) 15:26:53.21ID:S2QZ+l2P0
>>197
落ちないように保守してるbotなんだから放置しといておk
2019/12/20(金) 21:22:21.77ID:mpMTImoE0
OK
2019/12/20(金) 23:48:15.16ID:QDzyQCtc0
「WebAborn(ウェブあぼ〜ん) ― NGワードをブラウザに表示させない」(http://webaborn.herokuapp.com/)
とか
Violentmonkey上で動く「5ch_ng_honbun2」(https://greasyfork.org/ja/scripts/380537-5ch-ng-honbun2)
を入れて見えないようにしとけば一々反応せずに済むぞ 👀
Rock54: Caution(BBR-MD5:b95868ef2c0ed5e765a4d10ada4cf289)
2019/12/20(金) 23:58:54.58ID:QDzyQCtc0
連投&スレ違いスマン
最近だけど初めて書き込み規制になったんだが、Rock54 とか積もり積もると規制の対象になるのかなー?
URL貼る時気使うわ〜
2019/12/21(土) 04:06:54.93ID:XQIu7kom0
>197,199,201
元々Operaのフォルダに入ってるモノだからずっと不思議に思ってたもんで
知ってる人がいないかと思って書いてたんだがね
2019/12/21(土) 05:32:54.75ID:gfgzRYdu0
嘘吐き
2019/12/21(土) 07:00:22.37ID:XQIu7kom0
ほう、何が嘘だ?
206名無しさん@お腹いっぱい。
垢版 |
2019/12/21(土) 18:10:11.64ID:tLGkqiP80
R.Loew氏、9月に亡くなっていたのか…
207名無しさん@お腹いっぱい。
垢版 |
2019/12/22(日) 14:09:12.65ID:d0XknSIm0
誰・・・
2019/12/23(月) 19:47:30.96ID:EgssBOFk0
俺***
2019/12/31(火) 02:43:36.46ID:vq5diplW0
presto opera で来年も突っ走ろう!!
2020/01/01(水) 13:56:17.31ID:l17QnAAe0
メリクリ
2020/01/01(水) 22:46:31.20ID:q6S5qKa90
はぁ?
2020/01/02(木) 18:49:52.46ID:OfmzycRf0
ひぃ?
2020/01/03(金) 15:00:10.71ID:53I60Zfg0
結局Otterブラウザはアンインストールした。
ナイストライとは思うがまだ未完成過ぎる。
Opera12の後継者は出て来そうに無いね。
2020/01/03(金) 20:10:04.63ID:s6suaBQ70
逆にPrestoカバーする為のブラウザインストしまくって困ってる
2020/01/03(金) 20:32:10.92ID:ahMIup3/0
本末転倒だなもう
216名無しさん@お腹いっぱい。
垢版 |
2020/01/03(金) 22:24:50.27ID:y2mbJtXI0
Firefox使って楽になれよ
217名無しさん@お腹いっぱい。
垢版 |
2020/01/04(土) 09:12:20.38ID:gquNr29w0
https://www.skype.com/ja/get-skype/
ここ開くと固まるんだけど俺環?
2020/01/04(土) 18:04:33.68ID:ePfbUOLE0
>213
どんな機能が欲しいわけ?
2020/01/05(日) 07:56:07.45ID:HmRzUA820
固まりはしないけどエラーメッセージが出る。
サービスが停止してるとの内容。
いろんな機能を要求するサービスはOpera12には不向き。
そういうのは他のブラウザを使えばいい。
Opera12は様々な機能をことごとくオフにしてベーシックシンプルにして使ってる。
2020/01/05(日) 17:00:52.19ID:vmJjLNoD0
どこまでマゾなんだよw
パンイチで歩き回るために、周りを固めてどうすんの
2020/01/05(日) 20:27:13.44ID:S5ukMDK/0
悪い、ちょっと何言ってるか解んねぇ
222名無しさん@お腹いっぱい。
垢版 |
2020/01/09(木) 09:04:03.32ID:4xZFnUdm0
Opera12で表示できないHPのためにGoogleChromeを使ってる人が多いだろうが
メジャーリスク回避のためVivaldiとか使ってる人もいるかな。
最新ver10を使ってみた。
ブックマークがマウスダブルクリックされてしまう謎仕様。
広告ブロッカーがリセットされる謎仕様も直っていない。
Opera後継だがどうもこういう完成度ではメジャーは無理かな。
2020/01/09(木) 11:16:41.75ID:HPHXTSSk0
おれはFirefoxPortableとOS標準のedgeだ

>>222
メジャーリスク?って分からないが、そんなリスクあるのにワザワザhrome使うって意味不明w
しかもリスク回避のためにVivaldi使ったら謎仕様で悩まされる?
もう別のブラウザ使ったら…って思う
2020/01/09(木) 19:00:08.40ID:LDqRPb2d0
メジャーリスク回避でPresto使うならわかるが、
エンジンとか一緒のChromeとVivaldiって回避になってるの?

そもそもChromeは砂箱が優秀だから、他のブラウザ使うより下手すると安全だけど

>>223
edgeも後1週間たたずChromium系だな
2020/01/10(金) 07:33:34.60ID:urMPlMw/0
Chromeは管理人が検索?アドレスバーに間違ってpass入力した通販サイトが顧客情報流出とかあったからギリChromiumまで
今でも検索バー入力情報が流出したりするかは知らんけど信用はできんよね、最低でも個体識別ID付与されちゃうし
226名無しさん@お腹いっぱい。
垢版 |
2020/01/13(月) 09:09:15.89ID:xnrPIN6t0
タブの音ミュートの機能無くす方法ありませんか?
2020/01/15(水) 18:30:37.79ID:1DCJ45Ih0
はぁ?
タブの音ミュート?

あるわけねえだろうそんなもん
228名無しさん@お腹いっぱい。
垢版 |
2020/01/16(木) 23:36:31.07ID:32Ra+nH30
GoogleがChromeブラウザの打ち切りを発表したね。
これでOperaのシェアも少し上がるかな
2020/01/17(金) 00:25:13.19ID:oice9uHu0
それブラウザ自体じゃなくてブラウザ機能を使って動かすアプリの事やで
2020/01/17(金) 01:00:03.96ID:E1Cwf8320
【ブラウザ】「Chromeアプリ」2022年に終了、Googleがタイムラインを発表
http://egg.5ch.net/test/read.cgi/bizplus/1579166450/2

2 名刺は切らしておりまして 2020/01/16(木) 18:31:54.07ID:c6Zi22Hi
以下、chromeが終了と勘違いしたバカが5万といるんだろうな
2020/01/17(金) 01:25:34.60ID:SzZ5Ybwx0
ごまんを5万と勘違いしてるような奴にいわれてもな
232名無しさん@お腹いっぱい。
垢版 |
2020/01/17(金) 06:26:55.67ID:USe8fNT90
youtubeのリンクを動画プレイヤーに送って見るためにいろいろ試したけど
結局、SMPlayerが至高だった
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況